Suchfeld einblenden
Person Gupta, Aarti
1 Treffer
Seite < 1 >
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
Seite < 1 >