Pages that link to "Item:Q2802472"
From MaRDI portal
The following pages link to A Timed Process Algebra for Wireless Networks with an Application in Routing (Q2802472):
Displaying 5 items.
- Modelling and verifying the AODV routing protocol (Q324632) (← links)
- Depletable channels: dynamics, behaviour, and efficiency in network design (Q2422775) (← links)
- A Timed Process Algebra for Wireless Networks with an Application in Routing (Q2802472) (← links)
- (Q3385651) (← links)
- Analysing AWN-Specifications Using mCRL2 (Extended Abstract) (Q6162221) (← links)