Pages that link to "Item:Q3172855"
From MaRDI portal
The following pages link to On the Verification of Timed Ad Hoc Networks (Q3172855):
Displayed 7 items.
- Parameterized verification of time-sensitive models of ad hoc network protocols (Q896913) (← links)
- Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
- Parameterized verification of coverability in infinite state broadcast networks (Q2029598) (← links)
- Model Checking Parameterised Multi-token Systems via the Composition Method (Q2817946) (← links)
- (Q3384884) (← links)
- (Q5009453) (← links)
- (Q5111624) (← links)