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