Shelfclass_id |
4.B.3 |
Sortkey |
CAV |
Authors |
Editors: Edmund M. Clarke, Robert P. Kurshan |
Title |
CAV 1990: Computer-Aided Verification: 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings |
Publisher |
Springer-Verlag |
Year |
1991 |
Languages |
eng |
Isbn |
0387544771, 3540544771 |
Series |
Lecture Notes in Computer Science |
Volume |
531 |
Issn |
0302-9743 |
Description |
xiii, 372 p. ill. 24 cm |
Record date |
20110217 |
Location |
New York |
Keywords |
Digital integrated circuits, Design and construction, data processing, Congresses, Computer-aided design, Computational logics, Petri nets, Data communication protocols, Program verification |