![](https://media.springernature.com/w90/springer-static/cover/journal/10703/34/2.jpg?as=webp)
Volume 34, Issue 2
April 2009Special Issue: Selected Papers from CAV 2007; Guest Editors: Werner Damm, Holger Hermanns, and Jürgen Niehaus
5 articles in this issue
Special Issue: Selected Papers from CAV 2007; Guest Editors: Werner Damm, Holger Hermanns, and Jürgen Niehaus