Suchfeld einblenden
Person Godefroid, Patrice
2 Treffer
Seite < 1 >
Model checking software
: proceedings / 12th International SPIN Workshop, San Francisco, CA, USA, August 22 - 24, 2005. Patrice Godefroid (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3639)
ISBN 978-3-540-31899-6
Lizenzpflichtig
Quelle: DNB
Godefroid, Patrice: Partial order methods for the verification of concurrent systems
: an approach to the state explosion problem / Patrice Godefroid. - Berlin : Springer, 1996. - 142 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1032)
ISBN 978-3-540-60761-8 / 3-540-60761-7 kart. : DM 38.00
Literaturverz. S. 133 - 142
Quelle: DNB
Seite < 1 >
