Effective definability of the reachability relation in timed automata

BIB
Martin Fränzle and Karin Quaas and Mahsa Shirmohammadi and James Worrell
Inf. Process. Lett.
2020
article