Werner Stephan
发表
Burkhart Wolff,
Julien Schmaltz,
Yakoub Nemouchi,
2015,
NFM.
Maritta Heisel,
Reiner Hähnle,
Wolfgang Reif,
1986,
CADE.
Werner Stephan,
Andreas Wolpers,
1993,
MFCS.
Andreas Nonnengart,
Bruno Langenstein,
Werner Stephan,
2007,
VERIFY.
Kurt Stenzel,
Wolfgang Reif,
Gerhard Schellhorn,
1993,
STACS.
Heiko Mantel,
Werner Stephan,
Serge Autexier,
1998,
KI.
Burkhart Wolff,
Julien Schmaltz,
Yakoub Nemouchi,
2014,
Arch. Formal Proofs.
Dieter Hutter,
Kurt Stenzel,
Wolfgang Reif,
1998,
FM-Trends.
Matthias Klusch,
Dieter Hutter,
Klaus Fischer,
2001,
Electron. Notes Theor. Comput. Sci..
Dieter Hutter,
Wolfgang Reif,
Werner Stephan,
1993
.
Andreas Nonnengart,
Bruno Langenstein,
Werner Stephan,
2007,
SAFECOMP.
Maritta Heisel,
Wolfgang Reif,
Werner Stephan,
1989,
Logic at Botik.
Werner Stephan,
2014
.
Wolfgang Osten,
Andreas W. Liehr,
Thomas Richter,
2009
.
Paolo Traverso,
Dieter Hutter,
Werner Stephan,
1998
.
Dieter Hutter,
Wolfgang Reif,
Werner Stephan,
1992
.
Werner Stephan,
Georg Rock,
Andreas Wolpers,
1998,
Tool Support for System Specification, Development and Verification.
Dieter Hutter,
Wolfgang Reif,
Werner Stephan,
1993,
VIS.
Werner Stephan,
2005
.
Wolfgang Coy,
Johannes Köbler,
Werner Stephan,
2008
.
Maritta Heisel,
Wolfgang Reif,
Werner Stephan,
1989,
GWAI.
Burkhart Wolff,
Julien Schmaltz,
Yakoub Nemouchi,
2015
.
Burkhart Wolff,
Julien Schmaltz,
Yakoub Nemouchi,
2016
.
Jörg H. Siekmann,
Werner Stephan,
1978,
AISB/GI.
Maritta Heisel,
Wolfgang Reif,
Werner Stephan,
1987,
GWAI.
Andreas Nonnengart,
Werner Stephan,
Georg Rock,
2002,
FASE.
Maritta Heisel,
Wolfgang Reif,
Werner Stephan,
1990,
CADE.
Werner Stephan,
Georg Rock,
Andreas Wolpers,
1998,
FBT.
Marc Fischlin,
Lassaad Cheikhrouhou,
Werner Stephan,
2012,
Sicherheit.
Jörg H. Siekmann,
Dieter Hutter,
Bruno Langenstein,
1996,
FME.
Werner Stephan,
Andreas Wolpers,
1998
.
Lassaad Cheikhrouhou,
Andreas Nonnengart,
Werner Stephan,
2008,
KI.
Dieter Hutter,
Werner Stephan,
Markus Ullmann,
2003,
SPC.
Gunter Laßmann,
Lassaad Cheikhrouhou,
Werner Stephan,
2006,
SAFECOMP.
Maritta Heisel,
Wolfgang Reif,
Werner Stephan,
1987,
CSL.
Dieter Hutter,
Axel Schairer,
Roland Vogt,
2000,
International Journal on Software Tools for Technology Transfer.
Andreas Nonnengart,
Bruno Langenstein,
Werner Stephan,
2005,
Mechanizing Mathematical Reasoning.
Werner Stephan,
2006,
FM.
Werner Stephan,
Georg Rock,
Andreas Wolpers,
1999,
FBT.
Dieter Hutter,
Werner Stephan,
2005,
Mechanizing Mathematical Reasoning.
Werner Stephan,
Georg Rock,
Andreas Wolpers,
1997,
FBT.
Maritta Heisel,
Wolfgang Reif,
Werner Stephan,
1988,
CADE.
Andreas Nonnengart,
Werner Stephan,
Georg Rock,
2001,
FLAIRS Conference.
Dieter Hutter,
Werner Stephan,
2005,
Mechanizing Mathematical Reasoning.
Burkhart Wolff,
Julien Schmaltz,
Yakoub Nemouchi,
2014
.
Werner Stephan,
1982
.
Jan Alexandersson,
Jochen Britz,
Werner Stephan,
2016
.
Susanne Biundo-Stephan,
Werner Stephan,
W. Stephan,
1996,
AIPS.
Werner Stephan,
Georg Rock,
Michael Brodski,
2000,
FLAIRS Conference.
Werner Stephan,
Georg Rock,
Andreas Wolpers,
1998
.