Electronic Notes in Theoretical Computer Science, Volume 185

Refine list

showing all ?? records

Volume 185, July 2007

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