![](https://media.springernature.com/w90/springer-static/cover/journal/10703/43/2.jpg?as=webp)
Volume 43, Issue 2
October 2013Special issue on Probabilistic Model Checking
- Issue Editors:
-
- Christel Baier,
- Marta Kwiatkowska
9 articles in this issue