Didier Pirottin

发表

Patrice Godefroid, Didier Pirottin, Patrice Godefroid, 1993, CAV.

Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin, 1992, Formal Methods Syst. Des..

Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin, 1992, PSTV.