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 |