Search from the table of contents of 2.5 million books
Advanced Search (Beta)
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

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

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


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 37 entries
Chapters/HeadingsAuthor(s)PagesInfo
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/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 37 entries