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

Zpět na seznam investorů