Dominik Haneberg

发表

Wolfgang Reif, Gerhard Schellhorn, Dominik Haneberg, 2007, Formal Aspects of Computing.
Kurt Stenzel, Wolfgang Reif, Dominik Haneberg, 2002, AMAST.
Wolfgang Reif, Gerhard Schellhorn, Nina Moebius, 2007, International Conference on Software Engineering Advances (ICSEA 2007).
Wolfgang Reif, Gerhard Schellhorn, Rudolf Berghammer, 2003, J. Univers. Comput. Sci..
Kurt Stenzel, Wolfgang Reif, Dominik Haneberg, 2006, ETRICS.
Kurt Stenzel, Wolfgang Reif, Gerhard Schellhorn, 2011, Int. J. Softw. Informatics.
Dominik Haneberg, 2002 .
Gidon Ernst, Wolfgang Reif, Gerhard Schellhorn, 2013, VSTTE.
Kurt Stenzel, Wolfgang Reif, Dominik Haneberg, 2004, FORTE Workshops.
Dominik Haneberg, Dominik Haneberg, 2008 .
Wolfgang Reif, Hella Seebach, Alwin Hoffmann, 2012 .
Gidon Ernst, Wolfgang Reif, Gerhard Schellhorn, 2013, Haifa Verification Conference.
Håkan Burden, Jan-Philipp Steghöfer, Hiva Alahyari, 2017, J. Syst. Softw..
Wolfgang Reif, Gerhard Schellhorn, Dominik Haneberg, 2007, IFM.
Gidon Ernst, Wolfgang Reif, Gerhard Schellhorn, 2014, International Journal on Software Tools for Technology Transfer.
Frank Ortmeier, Kurt Stenzel, Wolfgang Reif, 2005 .
Gidon Ernst, Maximilian Junker, Wolfgang Reif, 2011, GI-Jahrestagung.
Gidon Ernst, Wolfgang Reif, Gerhard Schellhorn, 2014, ABZ.
Kurt Stenzel, Wolfgang Reif, Dominik Haneberg, 2004, Workshop Mobile Commerce.
Gidon Ernst, Wolfgang Reif, Gerhard Schellhorn, 2012, SSV.
Wolfgang Reif, Gerhard Schellhorn, Andreas Schierl, 2009, FM.
Wolfgang Reif, Gerhard Schellhorn, Dominik Haneberg, 2005, Abstract State Machines.
Wolfgang Reif, Gerhard Schellhorn, Nina Moebius, 2009, Rigorous Methods for Software Construction and Analysis.
Wolfgang Reif, Gerhard Schellhorn, Dominik Haneberg, 2006, FM.
Kurt Stenzel, Wolfgang Reif, Dominik Haneberg, 2003, GI Jahrestagung.