@misc{indiciae29b6d9e9d4f1,
  title = {Effective Definability of the Reachability Relation in Timed Automata},
  author = {Martin Fränzle and Karin Quaas and Mahsa Shirmohammadi and James Worrell},
  year = {2019},
  url = {https://arxiv.org/abs/1903.09773},
  note = {Source identifier: 1903.09773}
}