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