Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

DOI10.1007/b100824zbMath1109.68503OpenAlexW4206454994MaRDI QIDQ5464766

Deepak D'Souza, Nicolas Tabareau

Publication date: 19 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100824

Mathematics Subject Classification ID

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

Related Items

Event Clock Automata: From Theory to Practice ⋮ An SMT-based approach to satisfiability checking of MITL ⋮ Timed Automata with Integer Resets: Language Inclusion and Expressiveness ⋮ On regions and zones for event-clock automata ⋮ Event-Clock Visibly Pushdown Automata ⋮ Unnamed Item ⋮ A tool for deciding the satisfiability of continuous-time metric temporal logic