Better abstractions for timed automata
From MaRDI portal
Publication:342707
DOI10.1016/j.ic.2016.07.004zbMath1353.68166MaRDI QIDQ342707
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
Publication date: 18 November 2016
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2016.07.004
68Q45: Formal languages and automata