Florian Hacklinger

发表

Florian Hacklinger, 2004, IASSE.

Allan Clark, Stephen Gilmore, Martin Wirsing, 2007, CoCoME.

Martin Wirsing, Alexander Knapp, Rolf Hennicker, 2006, Electron. Notes Theor. Comput. Sci..