DiVinE: Parallel Distributed Model Checker (Tool paper)

Logo poskytovatele
Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

BARNAT Jiří BRIM Luboš ČEŠKA Milan ROČKAI Petr

Rok publikování 2010
Druh Článek ve sborníku
Konference Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Související projekty:

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