Electronic Notes in Theoretical Computer Science, Volume 119

Volume 119, Number 1, February 2005

Proceedings of the Workshop on Games in Design and Verification (GDV 2004)

Volume 119, Number 2, March 2005

Proceedings of the 2nd International Workshop on Bounded Model Checking (

BMC 2004

)
a service of Schloss Dagstuhl - Leibniz Center for Informatics