Home > Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
Book Informaton
Author
Ganesh Gopalakrishnan; Shaz Qadeer
Series
Lecture Notes in Computer Science
Volume
6806
Year of Publication
2011
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin, Heidelberg
Pages
XV, 763
Language
en
ISBN
9783642221095, 9783642221101
ARI Id
1664992116676
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 62 entries
Chapters/Headings | Author(s) | Pages | Info |
1-19 | |||
20-20 | |||
21-27 | |||
28-43 | |||
44-49 | |||
50-66 | |||
67-82 | |||
83-98 | |||
99-115 | |||
116-131 | |||
132-148 | |||
149-164 | |||
165-170 | |||
171-177 | |||
178-183 | |||
184-190 | |||
191-207 | |||
208-224 | |||
225-242 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 62 entries