Jochen Klose
发表
Bernd Westphal,
Werner Damm,
Matthias Brill,
2004,
SoftSpez Final Report.
Thomas Kropf,
Jürgen Ruf,
Jochen Klose,
2002,
15th International Symposium on System Synthesis, 2002..
Jochen Klose,
Hartmut Wittke,
H. Wittke,
2001,
TACAS.
Werner Damm,
Jochen Klose,
W. Damm,
2001,
Formal Methods Syst. Des..
Bernd Westphal,
Jochen Klose,
B. Westphal,
2007
.
Bernd Westphal,
Jochen Klose,
Hartmut Wittke,
2006,
CAV.
Werner Damm,
Jochen Klose,
Hartmut Wittke,
2002
.