@inproceedings{BBC+08c,
 address = {Washington, DC, USA},
 author = {Jiří Barnat and Luboš Brim and Ivana Černá and Milan Češka and Jana Tůmová},
 booktitle = {QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems},
 doi = {http://dx.doi.org/10.1109/QEST.2008.29},
 isbn = {978-0-7695-3360-5},
 pages = {77--78},
 publisher = {IEEE Computer Society},
 title = {{ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems}},
 year = {2008}
}