Immo Grabe
发表
F. S. Boer,
M. Steffen,
G. Zavattaro,
2012
.
Martin Steffen,
Immo Grabe,
Andreas Grüner,
2009
.
Immo Grabe,
Immo Grabe,
2012
.
Harald Fecher,
Immo Grabe,
Immo Grabe,
2007,
FSEN'07.
Frank S. de Boer,
Wolfgang Ahrendt,
Immo Grabe,
2009,
FM.
Christel Baier,
Wang Yi,
Bernhard K. Aichernig,
2010,
TTSS.
Christel Baier,
Bernhard K. Aichernig,
Frank S. de Boer,
2009,
FMCO.
Frank S. de Boer,
Martin Steffen,
Immo Grabe,
2012,
J. Log. Algebraic Methods Program..
Erika Ábrahám,
Andreas Grüner,
Martin Steffen,
2009,
J. Log. Algebraic Methods Program..