Pages that link to "Item:Q4632424"
From MaRDI portal
The following pages link to Liveness in timed and untimed systems (Q4632424):
Displayed 4 items.
- 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)