H. Korver
发表
J. F. Groote,
H. Korver,
1994
.
H. Korver,
A. Sellink,
1995
.
H. Korver,
1992
.
Jan Springintveld,
Henri Korver,
H. Korver,
1993,
TACS.
Henri Korver,
H. Korver,
1991,
CAV.
H. Korver,
A. Sellink,
1998,
Formal Aspects of Computing.
Jan Friso Groote,
J. F. Groote,
Henri Korver,
1997,
Theor. Comput. Sci..
Alex Sellink,
Henri Korver,
H. Korver,
1995,
Formal Aspects of Computing.
H. P. Korver,
J. A. Hillebrand,
H. Korver,
1995
.