The following pages link to (Q4934330):
Displaying 11 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- On regions and zones for event-clock automata (Q487253) (← links)
- A Kleene theorem for splitable signals (Q1029089) (← links)
- Event-clock automata: a determinizable class of timed automata (Q1274452) (← links)
- A study on shuffle, stopwatches and independently evolving clocks (Q1938360) (← links)
- Balanced timed regular expressions (Q2842862) (← links)
- On equivalences for a class of timed regular expressions (Q2847821) (← links)
- Event Clock Automata: From Theory to Practice (Q3172852) (← links)
- Event-Clock Visibly Pushdown Automata (Q3599103) (← links)
- Weighted Timed MSO Logics (Q3637244) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)