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

5. ATVA 2007: Tokyo, Japan

Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura (Eds.): Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings. Lecture Notes in Computer Science 4762 Springer 2007, ISBN 978-3-540-75595-1 BibTeX

Invited Talks

Regular Papers

Short Papers

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