Visible to the public BiblioConflict Detection Enabled

Filters: Author is Karin Quaas  [Clear All Filters]
2020-10-01
Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell.  2020.  Effective definability of the reachability relation in timed automata. Information Processing Lettera. 153:105871.