Home > Computer-Aided Verification: 2nd Internatonal Conference, CAV ' 90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
Computer-Aided Verification: 2nd Internatonal Conference, CAV ' 90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
Book Informaton
Author
Edmund M. Clarke; Robert P. Kurshan
Series
Lecture Notes in Computer Science
Volume
531
Year of Publication
1991
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
XIV, 378
Language
en
ISBN
9783540544777, 9783540383949, 3540544771, 0387544771
ARI Id
1664590098800
This page has been accessed 3 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 40 entries
Chapters/Headings | Author(s) | Pages | Info |
1-1 | |||
2-12 | |||
13-22 | |||
23-32 | |||
33-43 | |||
44-53 | |||
54-64 | |||
65-75 | |||
76-85 | |||
86-95 | |||
96-105 | |||
106-115 | |||
116-125 | |||
126-135 | |||
136-145 | |||
146-155 | |||
156-165 | |||
166-175 | |||
176-185 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 40 entries