Volume 43, Issue 2
October 2013Special issue on Probabilistic Model Checking
- Issue Editors:
-
- Christel Baier,
- Marta Kwiatkowska
9 articles in this issue
Special issue on Probabilistic Model Checking