dblp.uni-trier.de www.uni-trier.de

6. ATVA 2008: Seoul, Korea

Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (Eds.): Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings. Lecture Notes in Computer Science 5311 Springer 2008, ISBN 978-3-540-88386-9 BibTeX

Invited Talks

Model Checking

Software Verification

Decision Procedures

Linear-Time Analysis

Tool Demonstration Papers

Timed and Stochastic Systems


Short Papers

Copyright © Sat May 16 22:59:06 2009 by Michael Ley (ley@uni-trier.de)