@misc{indiciae40f4303f5f6d,
  title = {Checking Timed Bisimilarity with Virtual Clocks},
  author = {Alexander Lieb and Hendrik Göttmann and Lars Luthmann and Malte Lochau and Andy Schürr},
  year = {2026},
  doi = {10.46298/fi.15143},
  url = {https://arxiv.org/abs/2412.15799},
  note = {Source identifier: 2412.15799}
}