2010
DiVinE: Parallel Distributed Model Checker (Tool paper)
BARNAT, Jiří, Luboš BRIM, Milan ČEŠKA a Petr ROČKAIZákladní údaje
Originální název
DiVinE: Parallel Distributed Model Checker (Tool paper)
Autoři
Vydání
Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010), 4 s. 2010
Další údaje
Typ výsledku
Stať ve sborníku
Utajení
není předmětem státního či obchodního tajemství
Organizační jednotka
Fakulta informatiky
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 2. 2. 2011 09:31, prof. RNDr. Luboš Brim, CSc.
Návaznosti
GA201/09/1389, projekt VaV |
| ||
GD102/09/H042, projekt VaV |
| ||
GP201/09/P497, projekt VaV |
| ||
MSM0021622419, záměr |
| ||
MUNI/A/0914/2009, interní kód MU |
|