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.