Cornelius Diekmann
发表
Cornelius Diekmann,
Julius Michaelis,
Max W. Haslbeck,
2016,
Arch. Formal Proofs.
Lars Hupel,
Cornelius Diekmann,
Julius Michaelis,
2016,
Arch. Formal Proofs.
Georg Carle,
Nils Kammenhuber,
Cornelius Diekmann,
2013,
2013 IFIP Networking Conference.
Cornelius Diekmann,
Julius Michaelis,
2016,
Arch. Formal Proofs.
Cornelius Diekmann,
Julius Michaelis,
C. Diekmann,
2016,
Arch. Formal Proofs.
Cornelius Diekmann,
2017
.
Georg Carle,
Cornelius Diekmann,
Marcel von Maltitz,
2017,
FORTE.
Georg Carle,
Cornelius Diekmann,
Lukas Schwaighofer,
2015,
2015 11th International Conference on Network and Service Management (CNSM).
Georg Carle,
Cornelius Diekmann,
Andreas Korsten,
2015,
2015 11th International Conference on Network and Service Management (CNSM).
Lars Hupel,
Cornelius Diekmann,
2020,
Arch. Formal Proofs.
Georg Carle,
Cornelius Diekmann,
Johannes Naab,
2019,
IEEE Transactions on Network and Service Management.
Georg Carle,
Lars Hupel,
Cornelius Diekmann,
2014,
ESSS.
Cornelius Diekmann,
2019
.
Cornelius Diekmann,
2014,
Arch. Formal Proofs.
Cornelius Diekmann,
C. Diekmann,
2017,
ArXiv.
Georg Carle,
Cornelius Diekmann,
Marcel von Maltitz,
2016,
ArXiv.
Georg Carle,
Lars Hupel,
Cornelius Diekmann,
2015,
FM.
Georg Carle,
Lars Hupel,
Maximilian P. L. Haslbeck,
2018,
Journal of Automated Reasoning.
Lars Hupel,
Cornelius Diekmann,
2016,
Arch. Formal Proofs.
Georg Carle,
Oliver Hanka,
Heiko Niedermayer,
2014,
FORTE.
Georg Carle,
Cornelius Diekmann,
Julius Michaelis,
2016,
2016 IFIP Networking Conference (IFIP Networking) and Workshops.
Cornelius Diekmann,
2020
.