Publication:3517258

DOI10.25596/jalc-2007-373zbMath1145.68462MaRDI QIDQ3517258

Ruggero Lanotte

Publication date: 12 August 2008

zbMATH Keywords

expressiveness

Mathematics Subject Classification ID

68Q45: Formal languages and automata

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)

03C98: Applications of model theory

Related Items

Reachability results for timed automata with unbounded data structures

Uses Software

• HyTech