[BBC+08]
J. Barnat, L. Brim, I. Cerna, M. Ceska and J. Tumova.
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems.
In Proc. 5rd International Conference on Quantitative Evaluation of Systems (QEST'08), pages 77-78, IEEE CS Press.
2008.
[bib]
|
Links:
[Google]
[Google Scholar]
|