Volume 34, Issue 2, April 2009

Special Issue: Selected Papers from CAV 2007; Guest Editors: Werner Damm, Holger Hermanns, and Jürgen Niehaus

ISSN: 0925-9856 (Print) 1572-8102 (Online)