Informace o projektu
Basic model_checking problems for stochastic games

Kód projektu
MUNI/C/0007/2008
Období řešení
9/2008 - 6/2009
Investor / Programový rámec / typ projektu
Masarykova univerzita
Fakulta / Pracoviště MU
Fakulta informatiky

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info