C. Dehnert
发表
Nils Jansen,
Joost-Pieter Katoen,
Erika Ábrahám,
2014,
ATVA.
U. Topcu,
J. Katoen,
Sebastian Junges,
2018
.
E. Ábrahám,
J. Katoen,
Florian Corzilius,
2016
.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2015,
TACAS.
Joost-Pieter Katoen,
David Parker,
Christian Dehnert,
2013,
VMCAI.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2021,
2105.13411.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
From Reactive Systems to Cyber-Physical Systems.
Sebastian Junges,
Joost-Pieter Katoen,
Matthias Volk,
2017,
CAV.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2015,
CAV.
Nils Jansen,
Joost-Pieter Katoen,
Benjamin Lucien Kaminski,
2016,
ATVA.
Sebastian Junges,
Carlos E. Budde,
Arnd Hartmanns,
2017,
TACAS.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2014,
SFM.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2015,
FM.