TY  - RPRT
TI  - Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata -- Technical Report
AU  - Lars Luthmann
AU  - Hendrik Göttmann
AU  - Malte Lochau
PY  - 2019
DO  - 10.1007/978-3-030-40914-2_8
UR  - https://arxiv.org/abs/1909.03703
ID  - 1909.03703
ER  -