Automated Technology for Verification and Analysis
11. ATVA 2013: Hanoi, Vietnam
Dang Van Hung, Mizuhito Ogawa (Eds.): Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 8172 ISBN 978-3-319-02443-1 [ contents ]
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. Springer 2012 Lecture Notes in Computer Science 7561 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. Springer 2011 Lecture Notes in Computer Science 6996 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. Springer 2010 Lecture Notes in Computer Science 6252 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. Springer 2009 Lecture Notes in Computer Science 5799 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. Springer 2008 Lecture Notes in Computer Science 5311 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. Springer 2007 Lecture Notes in Computer Science 4762 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. Springer 2006 Lecture Notes in Computer Science 4218 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. Springer 2005 Lecture Notes in Computer Science 3707 ISBN 3-540-29209-8 [ contents ]
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. Springer 2004 Lecture Notes in Computer Science 3299 ISBN 3-540-23610-4 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team