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]
No references recorded for this publication.
No citations of this publication recorded.