| |
| 1995 | ||
|---|---|---|
| 4 | Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin: State-Space Caching Revisited. Formal Methods in System Design 7(3): 227-241 (1995) | |
| 1993 | ||
| 3 | Patrice Godefroid, Didier Pirottin: Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract). CAV 1993: 438-449 | |
| 1992 | ||
| 2 | Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin: State-Space Caching Revisited. CAV 1992: 178-191 | |
| 1 | Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin: Coverage Preserving Reduction Strategies for Reachability Analysis. PSTV 1992: 349-363 | |
| 1 | Patrice Godefroid | [1] [2] [3] [4] |
| 2 | Gerard J. Holzmann | [1] [2] [4] |