K. Wijbrans
发表
J. van Amerongen,
K.C.J. Wijbrans,
André Bakkers,
1993
.
Johan Sunter,
André W. P. Bakkers,
K.C.J. Wijbrans,
1990
.
Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System
Michel R. V. Chaudron,
Jan Tretmans,
Klaas Wijbrans,
1999,
World Congress on Formal Methods.
K.C.J. Wijbrans,
Peter H. Welch,
M. H. Schwirtz,
1993
.
Johannes F. Broenink,
K.C.J. Wijbrans,
K. Wijbrans,
1993
.
Peter H. Welch,
Klaas Wijbrans,
Herman W. Roebbers,
1990
.
K.C.J. Wijbrans,
W. Geurts,
G. J. Tretmans,
1998
.
Klaas Wijbrans,
Franc Buve,
Robin Rijkers,
2008,
FM.
Michel R. V. Chaudron,
Jan Tretmans,
Klaas Wijbrans,
2001,
Formal Methods Syst. Des..