Project information

Pravděpodobnostní CTL a Markovy řetězce

Project Identification
MUNI/E/0018/2008
Project Period
10/2008 - 6/2009
Investor / Pogramme / Project type
Masaryk University
MU Faculty or unit
Faculty of Informatics