@article{dblp:journals/ipl/franzleqsw20,Author = {Martin Fränzle and Karin Quaas and Mahsa Shirmohammadi and James Worrell},Title = {Effective definability of the reachability relation in timed automata},Journal = {Inf. Process. Lett.},Year = {2020},Doi = {10.1016/j.ipl.2019.105871},type = {article}}@COMMENT{Bibtex file generated on }