@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 }