scientific article; zbMATH DE number 1390065
From MaRDI portal
Publication:4934330
Recommendations
- A Logical Characterisation of Event Clock Automata
- Event-clock automata: a determinizable class of timed automata
- Event clock automata: from theory to practice
- scientific article; zbMATH DE number 1916671
- On the determinization of event-clock input-driven pushdown automata
- Event-clock nested automata
- Event-Clock Visibly Pushdown Automata
- Event clock message passing automata: a logical characterization and an emptiness checking algorithm
- scientific article; zbMATH DE number 1400049
- A Kleene theorem for nominal automata
Cited in
(14)- A Kleene theorem for splitable signals
- Event-clock automata: a determinizable class of timed automata
- A study on shuffle, stopwatches and independently evolving clocks
- scientific article; zbMATH DE number 1696511 (Why is no real title available?)
- Balanced timed regular expressions
- On equivalences for a class of timed regular expressions
- Event clock automata: from theory to practice
- Timed regular expressions
- Event-Clock Visibly Pushdown Automata
- Weighted Timed MSO Logics
- A survey of timed automata for the development of real-time systems
- scientific article; zbMATH DE number 1916671 (Why is no real title available?)
- On regions and zones for event-clock automata
- Formal language properties of hybrid systems with strong resets
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4934330)
