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.