Adding dense-timed stack to integer reset timed automata

DOI10.1007/978-3-319-67089-8_2zbMath1478.68119OpenAlexW2745925419MaRDI QIDQ1685773

Devendra Bhave, Shibashis Guha

Publication date: 20 December 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-67089-8_2

zbMATH Keywords

visibly pushdown automatalogical characterizationdense-timed stackinteger reset timed automataMSO

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

This page was built for publication: Adding dense-timed stack to integer reset timed automata