Effective definability of the reachability relation in timed automata

Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell 0001. Effective definability of the reachability relation in timed automata. Inf. Process. Lett., 153, 2020. [doi]

Bibliographies