Suchfeld einblenden
Person Valmari, Antti
1 Treffer
Seite < 1 >
Model checking software
: proceedings / 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Antti Valmari (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3925)
ISBN 978-3-540-33103-2
Lizenzpflichtig
Quelle: DNB
Seite < 1 >