Pages that link to "Item:Q3000628"
From MaRDI portal
The following pages link to On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks (Q3000628):
Displaying 10 items.
- Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
- 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)
- Liveness in broadcast networks (Q2676223) (← links)
- Verification of Parameterized Communicating Automata via Split-Width (Q2811340) (← links)
- On the Verification of Timed Ad Hoc Networks (Q3172855) (← links)
- (Q3384884) (← links)
- Parameterized Verification of Communicating Automata under Context Bounds (Q3447694) (← links)
- Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker (Q4991929) (← links)