![](https://media.springernature.com/w90/springer-static/cover/journal/236/54/8.jpg?as=webp)
Volume 54, Issue 8
December 2017Special issue: The 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)
- Issue Editors:
-
- Christel Baier,
- Cesare Tinelli
4 articles in this issue