Electronic Notes in Theoretical Computer Science, Volume 145

Refine list

showing all ?? records

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