Immo Grabe

发表

Martin Steffen, Immo Grabe, Andreas Grüner, 2009 .

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..