Pages that link to "Item:Q3525084"
From MaRDI portal
The following pages link to Distributed Time-Asynchronous Automata (Q3525084):
Displayed 5 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Regular set of representatives for time-constrained MSC graphs (Q436617) (← links)
- A study on shuffle, stopwatches and independently evolving clocks (Q1938360) (← links)
- Distributed Timed Automata with Independently Evolving Clocks (Q3541012) (← links)
- Distributed Event Clock Automata (Q5200069) (← links)