TY  - RPRT
TI  - Checking Timed Bisimulation with Bounded Zone-History Graphs -- Technical Report
AU  - Lars Luthmann
AU  - Hendrik Göttmann
AU  - Isabelle Bacher
AU  - Malte Lochau
PY  - 2020
UR  - https://arxiv.org/abs/1910.08992
ID  - 1910.08992
ER  -