Pages that link to "Item:Q5891347"
From MaRDI portal
The following pages link to Avoiding shared clocks in networks of timed automata (Q5891347):
Displaying 4 items.
- On global scheduling independency in networks of timed automata (Q1683435) (← links)
- Avoiding shared clocks in networks of timed automata (Q5891347) (← links)
- (Q5891774) (redirect page) (← links)
- Automated verification for real-time systems. Via implicit clocks and an extended Antimirov algorithm (Q6535374) (← links)