Suchfeld einblenden
Person Bošnački, Dragan
2 Treffer
Seite < 1 >
Model checking software
: proceedings / 9th International SPIN Workshop, Grenoble, France, April 11 - 13, 2002. D. Bos̆nac̆ki ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2318)
ISBN 978-3-540-46017-6
Lizenzpflichtig
Quelle: DNB
Model checking software
: proceedings / 14th International SPIN Workshop, Berlin, Germany, July 1 - 3, 2007. Dragan Bošnački ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4595)
ISBN 978-3-540-73370-6
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
