Electronic Notes in Theoretical Computer Science, Volume 149

Volume 149, Number 1, February 2006

Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY 2005)

Volume 149, Number 2, February 2006

Proceedings of the Third Workshop on Model Checking and Artificial Intelligence (MoChArt 2005)
maintained by Schloss Dagstuhl LZI at University of Trier