@inproceedings{BBCR10DIVINE,
 author = {Jiří Barnat and Luboš Brim and Milan Češka and Petr Ročkai},
 booktitle = {{Parallel and Distributed Methods in Verification and High
Performance Computational Systems Biology}},
 doi = {10.1109/PDMC-HiBi.2010.9},
 keywords = {formal verification;parallel processing;reachability
analysis;DiVinE;LTL model checking;parallel distributed model
checker;reachability analysis, divine, red hat},
 month = {Sept},
 organization = {IEEE},
 pages = {4--7},
 title = {{DiVinE: Parallel Distributed Model Checker}},
 year = {2010}
}