DiVinE: Parallel Distributed Model Checker (Tool paper)

Základní údaje

Originální název DiVinE: Parallel Distributed Model Checker (Tool paper)
Autoři

Další údaje

Citace BARNAT, Jiří, Luboš BRIM, Milan ČEŠKA a Petr ROČKAI. DiVinE: Parallel Distributed Model Checker (Tool paper). In Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010). 2010. 4 s.
Originální název
Obor
Druh Článek ve sborníku
Klíčová slova

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

Další info