Home > Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings
Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings
Book Informaton
Author
Tevfik Bultan; Pao-Ann Hsiung
Series
Lecture Notes in Computer Science
Volume
6996
Year of Publication
2011
Publisher
Springer Berlin Heidelberg
City of Publication
Heidelberg; New York
Pages
XIV, 532
Language
en
ISBN
9783642243714, 9783642243721
ARI Id
1664716904269
This page has been accessed 4 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 43 entries
Chapters/Headings | Author(s) | Pages | Info |
1-12 | |||
13-27 | |||
28-42 | |||
43-50 | |||
51-59 | |||
60-74 | |||
75-89 | |||
90-104 | |||
105-119 | |||
120-134 | |||
135-149 | |||
150-167 | |||
168-182 | |||
183-197 | |||
198-212 | |||
213-227 | |||
228-242 | |||
243-258 | |||
259-274 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 43 entries