Christian Hensel
发表
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
Formal Methods Syst. Des..
Sebastian Junges,
Joost-Pieter Katoen,
Christian Hensel,
2020,
International Journal on Software Tools for Technology Transfer.
Sebastian Junges,
Joost-Pieter Katoen,
Christian Hensel,
2021,
Formal Aspects of Computing.
Sebastian Junges,
Joost-Pieter Katoen,
Milan Ceska,
2019,
FM.
Technické V Brně,
Vysoké Učení,
Sebastian Junges,
2020
.
Sebastian Junges,
Joost-Pieter Katoen,
Christian Hensel,
2020,
International Journal on Software Tools for Technology Transfer.
Jan Kretínský,
Joachim Klein,
Arnd Hartmanns,
2019,
TACAS.