Macquarie University ResearchOnline
List View
Showing items 1 - 3 of 3.
Add to Quick Collection All 3 Results
| Title | Author/Creator | Date | Full Text | Reviewed | |
|---|---|---|---|---|---|
| Automated analysis of AODV using UPPAAL | Fehnker, Ansgar; van Glabbeek, Rob; Höfner, Peter; McIver, Annabelle; Portmann, Marius... More | 2012 | — | 
|
|
| A Process algebra for wireless mesh networks | Fehnker, Ansgar; van Glabbeek, Rob; Höfner, Peter; McIver, Annabelle; Portmann, Marius... More | 2012 | — |
|
|
| A Rigorous analysis of AODV and its variants | Höfner, Peter; Tan, Wee Lum; McIver, Annabelle; van Glabbeek, Rob; Portmann, Marius... More | 2012 | — |
|
Subject Keyword
- AODV (1)
- loop freedom (1)
- process algebra (1)
- routing protocols (1)
- wireless mesh networks (1)
Copyright Macquarie University | Privacy Statement | Accessibility Information
ABN 90 952 801 237 | CRICOS Provider No 00002J