@InProceedings{BBC+08,
author={J. Barnat and L. Brim and I. Cerna and M. Ceska and J. Tumova},
title={{ProbDiVinE-MC}: Multi-core {LTL} Model Checker for Probabilistic Systems},
booktitle={Proc. 5rd International Conference on Quantitative Evaluation of Systems (QEST'08)},
year={2008},

editor={},
pages={77-78},
organization={},
publisher={IEEE CS Press},
series={},
volume={},
address={},
month={},
note={},
key={}
}