Steffen Görzig

发表

Dariu Gavrila, Frank Lindner, Christian Wöhler, 1998, AMS.
Steffen Görzig, S. Görzig, 2001, CLUSTER.
Steffen Görzig, 2001, PVM/MPI.
Paul Levi, Steffen Görzig, André Schmidt, 2003, AMS.
Paul Levi, Steffen Görzig, Pascal Montag, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Frank Lindner, Christian Wöhler, Uwe Franke, 1999 .
Steffen Görzig, S. Görzig, 2014, ArXiv.
Paul Levi, Steffen Görzig, Axel Gern, 1999, AMS.
Dariu Gavrila, Frank Lindner, Christian Wöhler, 2011 .
Steffen Görzig, Uwe Franke, 1998 .
Uwe Franke, Steffen Görzig, Dariu M. Gavrila, 2000 .