Computer aided verification
: 11th international conference ; proceedings / CAV '99, Trento, Italy, July 6 - 10, 1999. Nicolas Halbwachs ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 1633)
ISBN 978-3-540-48683-1
Lizenzpflichtig
Quelle: DNB
Computer aided verification
: 14th international conference ; proceedings / CAV 2002, Copenhagen, Denmark, July 27 - 31, 2002. E. Brinksma ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2404)
ISBN 978-3-540-45657-5
Lizenzpflichtig
Quelle: DNB
Computer aided verification
: 13th international conference ; proceedings / CAV 2001, Paris, France, July 18 - 22, 2001. G. Berry ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2102)
ISBN 978-3-540-44585-2
Lizenzpflichtig
Quelle: DNB
Computer aided verification
: 20th international conference ; proceedings / CAV 2008, Princeton, NJ, USA, July 7 - 14, 2008. Aarti Gupta ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; Vol. 5123)
ISBN 978-3-540-70545-1
Lizenpflichtig
Quelle: DNB
Computer aided verification
: 19th international conference ; proceedings / CAV 2007, Berlin, Germany, July 3 - 7, 2007. Werner Damm ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4590)
ISBN 978-3-540-73368-3
Lizenzpflichtig
Quelle: DNB
Computer aided verification
: 18th international conference ; proceedings / CAV 2006, Seattle, WA, USA, August 17 - 20, 2006. Thomas Ball ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4144)
ISBN 978-3-540-37411-4
Lizenzpflichtig
Quelle: DNB
Computer aided verification
: 17th international conference ; proceedings / CAV 2005, Edinburgh, Scotland, UK, July 6 - 10, 2005. Kousha Etessami ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3576)
ISBN 978-3-540-31686-2
Lizenzpflichtig
Quelle: DNB
Computer aided verification
: 6th international workshop ; proceedings / CAV '94, Stanford, California, USA, June 21 - 23, 1994. David L. Dill (ed.). - Berlin : Springer, 1994. - IX, 480 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 818)
ISBN 978-3-540-58179-6 / 3-540-58179-0 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Computer aided verification
: 10th international conference ; proceedings / CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998. Alan J. Hu ; Moshe Y. Yardi (ed.). - Berlin : Springer, 1998. - IX, 552 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1427)
ISBN 978-3-540-64608-2 / 3-540-64608-6 kart. : DM 114.00
Literaturangaben
Quelle: DNB
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
