Suchfeld einblenden
Person Berry, Gérard
1 Treffer
Seite < 1 >
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
Seite < 1 >
