M. Wulf
发表
Jean-François Raskin,
Laurent Doyen,
Martin De Wulf,
2008,
TACAS.
Jean-François Raskin,
Laurent Doyen,
Martin De Wulf,
2008
.
Nicolas Markey,
Jean-François Raskin,
Laurent Doyen,
2008,
Formal Methods Syst. Des..
Krishnendu Chatterjee,
Thomas A. Henzinger,
Dietmar Berwanger,
2009,
TACAS.
T. Henzinger,
L. Doyen,
M. Wulf,
2006,
CAV.
Jean-François Raskin,
Laurent Doyen,
Martin De Wulf,
2006,
HSCC.
Nicolas Markey,
Jean-François Raskin,
Laurent Doyen,
2004,
FORMATS/FTRTFT.
Jean-François Raskin,
Laurent Doyen,
Martin De Wulf,
2004,
Formal Aspects of Computing.
Johan Gyselinck,
M. De Wulf,
A. Pulnikov,
1999
.