Publication details

 

DiVinE: Parallel Distributed Model Checker (Tool paper)

Basic information
Original title:DiVinE: Parallel Distributed Model Checker (Tool paper)
Authors:Jiří Barnat, Luboš Brim, Milan Češka, Petr Ročkai
Further information
Citation: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}
}
Type:Article in Proceedings

Related projects: