Pages that link to "Item:Q324632"
From MaRDI portal
The following pages link to Modelling and verifying the AODV routing protocol (Q324632):
Displaying 4 items.
- Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
- Depletable channels: dynamics, behaviour, and efficiency in network design (Q2422775) (← links)
- Trading Plaintext-Awareness for Simulatability to Achieve Chosen Ciphertext Security (Q2798768) (← links)
- A Timed Process Algebra for Wireless Networks with an Application in Routing (Q2802472) (← links)
