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)
maintained by Schloss Dagstuhl LZI, founded at University of Trier