TY  - RPRT
TI  - Effective Definability of the Reachability Relation in Timed Automata
AU  - Martin Fränzle
AU  - Karin Quaas
AU  - Mahsa Shirmohammadi
AU  - James Worrell
PY  - 2019
UR  - https://arxiv.org/abs/1903.09773
ID  - 1903.09773
ER  -