Godefroid, Patrice

ID:DA09653706

Search authors sharing the same name

Search Results1-2 of 2

1

Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings

Patrice Godefroid (ed.)

Springer c2005 Lecture notes in computer science 3639

Available at 13 libraries
2

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem

Patrice Godefroid

Springer c1996 Lecture notes in computer science 1032

Available at 55 libraries

Search this author

Related Authors

SPIN