Suchfeld einblenden
Person Etessami, Kousha
1 Treffer
Seite < 1 >
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
Seite < 1 >