TY  - RPRT
TI  - Checking Timed Bisimilarity with Virtual Clocks
AU  - Alexander Lieb
AU  - Hendrik Göttmann
AU  - Lars Luthmann
AU  - Malte Lochau
AU  - Andy Schürr
PY  - 2026
DO  - 10.46298/fi.15143
UR  - https://arxiv.org/abs/2412.15799
ID  - 2412.15799
ER  -