Suchfeld einblenden
Person Halbwachs, Nicolas
1 Treffer
Seite < 1 >
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
Seite < 1 >
