Informace o projektu

Methods for (semi)automatic Verification of Concurrent Systems

Kód projektu MUNI/33/001/1998 CEP CORDIS MU WEB INET MU
Doba řešení 01.01.1998–31.01.1999
Stav ukončený
Investor Masarykova univerzita
Program Program rektora na podporu tvůrčí činnosti studentů
Řešitel za FI

Zpět na seznam investorů