![](/img/cover-not-exists.png)
[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - ProbDiVinE: A Parallel Qualitative LTL Model Checker
Barnat, Jiri, Brim, Lubos, Cema, Ivana, Ceska, Milan, Tumova, JanaYear:
2007
Language:
english
DOI:
10.1109/qest.2007.13
File:
PDF, 214 KB
english, 2007