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:
Export BibTeX
Type:Article in Proceedings

Related projects: