B. Hoffmann

发表

Berthold Hoffmann, B. Hoffmann, 2009 .
Berthold Hoffmann, Ilse-Renate Schmiedecke, B. Hoffmann, 1980, MFCS.
Berthold Hoffmann, Mark Minas, Frank Drewes, 2018, J. Log. Algebraic Methods Program..
Berthold Hoffmann, Mark Minas, Frank Drewes, 2017, ICGT.
Berthold Hoffmann, Berthold Hoffmann, B. Hoffmann, 2017 .
Berthold Hoffmann, Hui Shi, B. Hoffmann, 1993 .
Tom Mens, Berthold Hoffmann, Yania Crespo, 2010, International Journal on Software Tools for Technology Transfer.
Berthold Hoffmann, B. Hoffmann, 2001, Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).
Berthold Hoffmann, Berthold Hoffmann, B. Hoffmann, 1982, Graph-Grammars and Their Application to Computer Science.
Berthold Hoffmann, Helmut Franzen, B. Hoffmann, 1979, GI Jahrestagung.
Berthold Hoffmann, Detlef Plump, Frank Drewes, 2000, J. Comput. Syst. Sci..
Berthold Hoffmann, Frank Drewes, F. Drewes, 2011, Acta Informatica.
Berthold Hoffmann, Mark Minas, M. Minas, 2000, ArXiv.
Berthold Hoffmann, Berthold Hoffmann, B. Hoffmann, 1999, AGTIVE.
Annegret Habel, Hans-Jörg Kreowski, Gregor Engels, 1999, Sci. Comput. Program..
Reiko Heckel, Berthold Hoffmann, Sabine Kuske, 1998, TAGT.
Annegret Habel, Berthold Hoffmann, Detlef Plump, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
G. Busatto, B. Hoffmann, 2001, GT-VMT@ICALP.
Berthold Hoffmann, Detlef Plump, D. Plump, 1988, ALP.
Berthold Hoffmann, Mark Minas, Frank Drewes, 2015, ICGT.
Berthold Hoffmann, Bernd Krieg-Brückner, B. Krieg-Brückner, 1993, Lecture Notes in Computer Science.
Annegret Habel, Berthold Hoffmann, A. Habel, 2004, ICGT.
Berthold Hoffmann, Mark Minas, M. Minas, 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Berthold Hoffmann, Dirk Janssens, Mark Minas, 2010, Theor. Comput. Sci..
D. Plump, Berthold Hoffmann, B. Hoffmann, 1991, RAIRO Theor. Informatics Appl..
Berthold Hoffmann, Berthold Hoffmann, B. Hoffmann, 2003, Fundam. Informaticae.
Berthold Hoffmann, B. Hoffmann, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Berthold Hoffmann, Rubino Geiß, Edgar Jakumeit, 2008 .
Berthold Hoffmann, Berthold Hoffmann, B. Hoffmann, 2005, Formal Methods in Software and Systems Modeling.