C. V. Essen
发表
B. Jobstmann,
C. V. Essen,
Barbara Jobstmann,
2012
.
L. Prosnitz,
C. V. Essen,
E. Zipser,
1971
.
Christian von Essen,
Barbara Jobstmann,
B. Jobstmann,
2013,
Formal Methods Syst. Des..
D. Giannakopoulou,
C. V. Essen,
2016,
International Journal on Software Tools for Technology Transfer.
Christian Von Essen,
C. V. Essen,
2014
.
Christian von Essen,
Dimitra Giannakopoulou,
D. Giannakopoulou,
2014,
TACAS.