Christian von Essen
发表
Christian von Essen,
Barbara Jobstmann,
2013,
CAV.
Christian von Essen,
Dimitra Giannakopoulou,
D. Giannakopoulou,
2014,
TACAS.
Christian von Essen,
Barbara Jobstmann,
2011,
iWIGP.
Christian von Essen,
David Parker,
Barbara Jobstmann,
2015,
Acta Informatica.
Christian von Essen,
Dimitra Giannakopoulou,
2015,
International Journal on Software Tools for Technology Transfer.
Christian von Essen,
Jürgen Giesl,
Marc Brockschmidt,
2010,
RTA.
Christian von Essen,
Barbara Jobstmann,
B. Jobstmann,
2013,
Formal Methods Syst. Des..
Christian von Essen,
Barbara Jobstmann,
2012,
VMCAI.
Christian von Essen,
Jürgen Giesl,
Marc Brockschmidt,
2010,
Verification, Induction, Termination Analysis.
Christian von Essen,
David Parker,
Barbara Jobstmann,
2012
.