Home > Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Book Informaton
Author
Bernd Finkbeiner; Geguang Pu; Lijun Zhang
Series
Lecture Notes in Computer Science
Volume
9364
Year of Publication
1st ed. 2015
Publisher
Springer International Publishing
Pages
XIII, 520
Language
en
ISBN
9783319249520, 9783319249537
ARI Id
1664696671730
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 37 entries
Chapters/Headings | Author(s) | Pages | Info |
I-XIII | |||
1-3 | |||
4-13 | |||
14-30 | |||
31-47 | |||
48-63 | |||
64-79 | |||
80-96 | |||
97-113 | |||
114-130 | |||
131-147 | |||
148-165 | |||
166-182 | |||
183-200 | |||
201-206 | |||
207-213 | |||
214-220 | |||
221-227 | |||
228-233 | |||
234-240 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 37 entries
Topics