Detail publikace

<< zpět
 

DiVinE: Parallel Distributed Model Checker (Tool paper)

Základní údaje
Originální název:DiVinE: Parallel Distributed Model Checker (Tool paper)
Autoři:Jiří Barnat, Luboš Brim, Milan Češka, Petr Ročkai
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.Export BibTeX
@inproceedings{905387,
author = {Barnat, Jiří and Brim, Luboš and Češka, Milan and Ročkai, Petr},
booktitle = {Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010)},
title = {DiVinE: Parallel Distributed Model Checker (Tool paper)},
year = {2010}
}
Druh:Článek ve sborníku

Související projekty:

 
 
nahoru