Godefroid, Patrice.
Godefroid, Patrice, 19..-....
Patrice Godefroid Ph.D. Université de Liège 1994
VIAF ID: 64699743 ( Personal )
Permalink: http://viaf.org/viaf/64699743
Preferred Forms
- 100 1 _ ‡a Godefroid, Patrice
-
-
-
-
-
- 100 1 0 ‡a Godefroid, Patrice
- 100 1 _ ‡a Godefroid, Patrice
-
- 100 1 _ ‡a Godefroid, Patrice, ‡d 19..-....
-
- 100 0 _ ‡a Patrice Godefroid ‡c Ph.D. Université de Liège 1994
Works
Title | Sources |
---|---|
Model checking software : 12th international SPIN workshop, San Francisco, CA, USA, August, 22-24, 2005 : proceedings | |
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem | |
SPIN |