Macquarie University ResearchOnline
List View
Showing items 1 - 4 of 4.
Add to Quick Collection All 4 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 | — |
|
|
| Towards an algebra of routing tables | Höfner, Peter; McIver, Annabelle | 2011 | — |
|
Author/Creator
- Fehnker, Ansgar (3)
- Portmann, Marius (3)
- Tan, Wee Lum (3)
- van Glabbeek, Rob (3)
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