Electronic Notes in Theoretical Computer Science, Volume 145

Volume 145, January 2006

Proceedings of the 5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics