Project information
Distribuovaná verifikace pravděpodobnostních modelů
(DIVPROB)
- Project Identification
- MUNI/33/E0012/2007
- Project Period
- 9/2007 - 6/2008
- Investor / Pogramme / Project type
-
Masaryk University
- Rector's programme to support MU student's creative work
- MU Faculty or unit
-
Faculty of Informatics
- doc. RNDr. Milan Češka, Ph.D.