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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Talks

Regular Papers

Short Papers

Copyright © Mon Nov 2 20:21:25 2009 by Michael Ley (ley@uni-trier.de)