@inproceedings{BBC+07,
 author = {Jiří Barnat and Luboš Brim and Ivana Černá and Milan Češka and Jana Tůmová},
 booktitle = {{Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07)}},
 optmonth = {September},
 pages = {215--216},
 publisher = {IEEE Computer Society},
 title = {{ProbDiVinE: A Parallel Qualitative LTL Model Checker}},
 year = {2007}
}