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 |