Pages that link to "Item:Q3584939"
From MaRDI portal
The following pages link to Parameterized Verification of Ad Hoc Networks (Q3584939):
Displaying 18 items.
- Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
- Well-structured graph transformation systems (Q729812) (← links)
- Parameterized verification of time-sensitive models of ad hoc network protocols (Q896913) (← links)
- Parameterized verification of monotone information systems (Q1798673) (← links)
- Parameterized verification of coverability in infinite state broadcast networks (Q2029598) (← links)
- Parameterised verification of publish/subscribe networks with exception handling (Q2330595) (← 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)
- Model Checking Parameterized Systems (Q3176379) (← links)
- (Q3384884) (← links)
- Liveness of Parameterized Timed Networks (Q3449490) (← links)
- Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker (Q4991929) (← links)
- (Q5089313) (← links)
- (Q5856427) (← links)
- Parameterized verification under TSO with data types (Q6535379) (← links)
- Parameterized broadcast networks with registers: from NP to the frontiers of decidability (Q6629529) (← links)
- Reconfigurable broadcast networks and asynchronous shared-memory systems are equivalent (Q6649512) (← links)