Corrections to “A Menagerie of Timed Automata”

DOI10.1145/3078809zbMath1416.68101arXiv1602.07165OpenAlexW2282647827MaRDI QIDQ5228137

Peter Fontana, Jeroen J. A. Keiren, Rance Cleaveland

Publication date: 9 August 2019

Published in: ACM Computing Surveys (Search for Journal in Brave)

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

zbMATH Keywords

timed automatatransition systemstimed transition systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

This page was built for publication: Corrections to “A Menagerie of Timed Automata”