Hendrik Brinksma
发表
P. R. d' Argenio,
Joost P. Katoen,
Hendrik Brinksma,
1998
.
Hendrik Brinksma,
2017,
TACAS.
Hendrik Brinksma,
G. J. Tretmans,
2001
.
Arend Rensink,
Hendrik Brinksma,
J. Parrow,
1994
.
Hendrik Brinksma,
Angelika Mader,
H. Brinksma,
2004
.
Diego Latella,
Hendrik Brinksma,
Joost P. Katoen,
1994
.
Hendrik Brinksma,
Albert Nymeyer,
1997
.
Hendrik Brinksma,
R. A. de By,
1994
.
Hendrik Brinksma,
1990
.
Hendrik Brinksma,
G. J. Tretmans,
R. B. Alderden,
1990
.
Hendrik Brinksma,
E. Verhulst,
Lambert Spaanenburg,
2002
.
Hendrik Brinksma,
1992
.
Theo C. Ruys,
Hendrik Brinksma,
T. Ruys,
2000
.
Hendrik Brinksma,
J. Kroon,
R. J. Heijink,
1992
.
Joost-Pieter Katoen,
Pedro R. D'Argenio,
Hendrik Brinksma,
1998
.
R. G. de Vries,
Hendrik Brinksma,
G. J. Tretmans,
2001
.
Hendrik Brinksma,
G. J. Tretmans,
E. Brinksma,
2002
.
Hendrik Brinksma,
Joost P. Katoen,
D. Latella,
1994
.
A. W. Heerink,
Hendrik Brinksma,
G. J. Tretmans,
1997
.
Hendrik Brinksma,
Tomas Krilavičius,
H. Brinksma,
2005
.
Hendrik Brinksma,
G. J. Tretmans,
2001
.
Hendrik Brinksma,
L. Brandan Briones,
2005
.
Hendrik Brinksma,
A.F.E. Belinfante,
L. Brandán Briones,
2003
.