Automated Technology for Verification and Analysis
10. ATVA 2012: Thiruvananthapuram, India
Supratik Chakraborty, Madhavan Mukund (Eds.):
Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings.
Lecture Notes in Computer Science 7561 Springer 2012, ISBN 978-3-642-33385-9
Contents 
9. ATVA 2011: Taipei, Taiwan
Tevfik Bultan, Pao-Ann Hsiung (Eds.):
Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings.
Lecture Notes in Computer Science 6996 Springer 2011, ISBN 978-3-642-24371-4
Contents
8. ATVA 2010: Singapore
Ahmed Bouajjani, Wei-Ngan Chin (Eds.):
Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings.
Lecture Notes in Computer Science 6252 Springer 2010, ISBN 978-3-642-15642-7
Contents
7. ATVA 2009: Macao, China
Zhiming Liu, Anders P. Ravn (Eds.):
Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings.
Lecture Notes in Computer Science 5799 Springer 2009, ISBN 978-3-642-04760-2
Contents
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
Contents
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
Contents
4. ATVA 2006: Beijing, China
Susanne Graf, Wenhui Zhang (Eds.):
Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006.
Lecture Notes in Computer Science 4218 Springer 2006, ISBN 3-540-47237-1
Contents
3. ATVA 2005: Taipei, Taiwan
Doron Peled, Yih-Kuen Tsay (Eds.):
Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings.
Lecture Notes in Computer Science 3707 Springer 2005, ISBN 3-540-29209-8
Contents
- ATVA 2005 Home Page
2. ATVA 2004: Taipei, Taiwan
Farn Wang (Ed.):
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings.
Lecture Notes in Computer Science 3299 Springer 2004, ISBN 3-540-23610-4
Contents
Last update Fri May 24 18:30:51 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
