Home > Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
Book Informaton
Author
Swarat Chaudhuri; Azadeh Farzan
Series
Lecture Notes in Computer Science
Volume
9779
Year of Publication
1st ed. 2016
Publisher
Springer International Publishing
Pages
XVII, 541
Language
en
ISBN
9783319415277, 9783319415284, 3319415271
ARI Id
1664707807880
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-XVII | |||
1-1 | |||
3-22 | |||
23-42 | |||
43-61 | |||
62-83 | |||
84-91 | |||
93-93 | |||
95-117 | |||
118-135 | |||
136-156 | |||
157-176 | |||
177-177 | |||
179-198 | |||
199-217 | |||
218-240 | |||
241-260 | |||
261-268 | |||
269-269 | |||
271-291 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 37 entries
Topics