Informace o publikaci

DiVinE: Parallel Distributed Model Checker (Tool paper)

Autoři

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

Druh Článek ve sborníku
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.

Další info