@inproceedings{BBR09b,
 author = {Jiří Barnat and Luboš Brim and Petr Ročkai},
 booktitle = {2009 International Workshop on High Performance Computational Systems Biology (HiBi 2009)},
 pages = {31--32},
 publisher = {IEEE Computer Society Press},
 title = {{DiVinE 2.0: High-Performance Model Checking}},
 year = {2009}
}