Pages that link to "Item:Q5048956"
From MaRDI portal
The following pages link to Removing ε-transitions in timed automata (Q5048956):
Displayed 8 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)
- Timed automata and recognizability (Q1129268) (← links)
- Bounded determinization of timed automata with silent transitions (Q1699228) (← links)
- Waiting nets (Q2165233) (← links)
- Bounded Determinization of Timed Automata with Silent Transitions (Q2945604) (← links)
- Equivalence checking and intersection of deterministic timed finite state machines (Q6108432) (← links)
- Waiting Nets: State Classes and Taxonomy (Q6189319) (← links)