The following pages link to (Q4507819):
Displayed 4 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- A concurrency-preserving translation from time Petri nets to networks of timed automata (Q453542) (← links)
- \(\varepsilon\)-transitions in concurrent timed automata (Q1029035) (← links)
- Concurrency in timed automata (Q1884910) (← links)