Timed automata and recognizability
From MaRDI portal
Publication:1129268
DOI10.1016/S0020-0190(97)00217-2zbMath0925.68275MaRDI QIDQ1129268
Publication date: 13 August 1998
Published in: Information Processing Letters (Search for Journal in Brave)
68Q45: Formal languages and automata
Related Items
Formal language properties of hybrid systems with strong resets, Timed automata and recognizability, Model Checking Real-Time Systems, Time-Bounded Verification
Cites Work