Publications

Lars Luthmann ; Hendrik Göttmann ; Malte Lochau (2019):
Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report.
[Online: https://arxiv.org/abs/1910.08992],
[Report]

Lars Luthmann ; Hendrik Göttmann ; Malte Lochau (2019):
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata.
In: 16th International Conference on Formal Aspects of Component Software (FACS 2019), S. 147-169, ISBN 978-3-030-40914-2, Amsterdam, Springer International Publishing,
DOI: 10.1007/978-3-030-40914-2_8,
[Online: https://link.springer.com/chapter/10.1007/978-3-030-40914-2_8],
[Konferenzveröffentlichung]