Event-clock nested automata

DOI10.1007/978-3-319-77313-1_6zbMath1504.68096arXiv1711.08314OpenAlexW2962885229MaRDI QIDQ1647682

Laura Bozzelli, Adriano Peron, Aniello Murano

Publication date: 26 June 2018

Full work available at URL: https://arxiv.org/abs/1711.08314

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (3)

Unnamed Item ⋮ On the determinization of event-clock input-driven pushdown automata ⋮ Context-free timed formalisms: robust automata and linear temporal logics

This page was built for publication: Event-clock nested automata