Shelfclass_id |
4.B.3 |
Sortkey |
CAV |
Authors |
Editors: Nicolas Halbwachs, Doron Peled |
Title |
CAV 1999: Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings |
Publisher |
Springer |
Year |
1999 |
Languages |
eng |
Isbn |
3540662022, 9783540662020 |
Series |
Lecture Notes in Computer Science |
Volume |
1633 |
Issn |
0302-9743 |
Description |
xii, 506 p. 24 cm |
Record date |
20110218 |
Location |
New York |
Keywords |
Processor verification, Protocol verification, Linear temporal logic, Automata theory, Model-checking |
Urlnote |
Skov Fulltext (PDF) |
Urls |
http://link.springer.de/link/service/series/0558/tocs/t1633.htm, http://www.link.springer.de/link/service/series/0558/tocs/t1633.htm |