Pages that link to "Item:Q4632424"
From MaRDI portal
The following pages link to Liveness in timed and untimed systems (Q4632424):
Displaying 6 items.
- On the refinement of liveness properties of distributed systems (Q763239) (← links)
- (Q4518892) (← links)
- Trade-off results for connection management (Q5055947) (← links)
- Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study (Q5137903) (← links)
- Modularity for timed and hybrid systems (Q6044109) (← links)
- Verifying abstractions of timed systems (Q6162104) (← links)