DOI10.1007/b104325zbMath1117.68390OpenAlexW2950473912MaRDI QIDQ5465886
Michaël Adélaïde, Claire Pagetti
Publication date: 12 August 2005 Published in: Lecture Notes in Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/b104325
zbMATH Keywords
urgencyTimed automaton\(n\)-clock timed languageminimal number of clockstimed regular expression
Mathematics Subject Classification ID
Formal languages and automata (68Q45)