Shelfclass_id |
4.B.3 |
Sortkey |
CAV |
Authors |
Editors: Gregor von Bochmann, David Karl Probst |
Title |
CAV 1992: Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings |
Publisher |
Springer-Verlag |
Year |
1993 |
Languages |
eng |
Isbn |
0387564969, 3540564969 |
Series |
Lecture Notes in Computer Science |
Volume |
663 |
Issn |
0302-9743 |
Description |
ix, 422 p. ill. 24 cm |
Record date |
20110218 |
Location |
New York |
Keywords |
Program verification, Mathematical logic, Conference proceedings, Timing verification, Symbolic verification, Parallel systems, Real-time distributed systems |