![](https://media.springernature.com/w90/springer-static/cover/journal/10817/41/3.jpg?as=webp)
Volume 41, Issue 3-4
November 2008Special Issue: Formal Modeling and Verification of Critical Systems
- Issue Editors:
-
- Serge Autexier,
- Heiko Mantel,
- Stephan Merz,
- Tobias Nipkow
7 articles in this issue