Informace o projektu
Methods for (semi)automatic Verification of Concurrent Systems

Kód projektu
MUNI/33/001/1998
Období řešení
1/1998 - 1/1999
Investor / Programový rámec / typ projektu
Masarykova univerzita
Fakulta / Pracoviště MU
Fakulta informatiky
WWW stránky projektu
http://www.fi.muni.cz/usr/kucera/projects/AvH.html.cz

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

Další info