The following pages link to (Q4934330):
Displayed 6 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 study on shuffle, stopwatches and independently evolving clocks (Q1938360) (← links)
- Event Clock Automata: From Theory to Practice (Q3172852) (← links)
- Weighted Timed MSO Logics (Q3637244) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)