Shelfclass_id |
4.B.3 |
Sortkey |
CAV |
Authors |
Editor: David L. Dill |
Title |
CAV 1994: Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994, Proceedings |
Publisher |
Springer-Verlag |
Year |
1994 |
Languages |
eng |
Isbn |
0387581790, 3540581790 |
Series |
Lecture Notes in Computer Science |
Volume |
818 |
Issn |
0302-9743 |
Description |
ix, 480 p. ill. 24 cm |
Record date |
20110218 |
Location |
New York |
Keywords |
Program verification, Mathematical logic, Conference proceedings, Timed automata, Hybrid automata, Hardware verification, LTL model checking |