Informace o projektu
Basic model_checking problems for stochastic games
Kód projektu | MUNI/C/0007/2008 CEP CORDIS MU WEB INET MU |
---|---|
Doba řešení | 01.09.2008–30.06.2009 |
Stav | ukončený |
Investor | Masarykova univerzita |
Program | Program rektora na podporu tvůrčí činnosti studentů |
Řešitel za FI |