Suchfeld einblenden
Person Emerson, E. Allen
2 Treffer
Seite < 1 >
Computer aided verification
: 12th international conference ; proceedings / CAV 2000, Chicago, IL, USA, July 15 - 19, 2000. E. Allen Emerson ; A. Prasad Sistla (ed.). - Berlin : Springer, 2000. - X, 582 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1855)
ISBN 978-3-540-67770-3 / 3-540-67770-4 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Verification, model checking, and abstract interpretation
: 7th international conference ; proceedings / VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006. E. Allen Emerson ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3855)
ISBN 978-3-540-31622-0
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
