|
Items where Author is "McIver, A." |
||
|
|
Group by: Item Type | No Grouping Number of items: 3. Conference ProceedingsFehnker, Ansgar and van Glabbeek, R.J. and Hoefner, P. and McIver, A. and Portmann, M. and Tan, W.L. (2012) Automated analysis of AODV using UPPAAL. [Conference Proceedings] Hofner, P. and van Glabbeek, R.J. and Tan, W.L. and Portmann, M. and McIver, A. and Fehnker, Ansgar (2012) A rigorous analysis of AODV and its variants. [Conference Proceedings] Professional and Technical ReportsFehnker, Ansgar and van Glabbeek, R.J. and Höfner, P. and McIver, A. and Portmann, M. and Tan, W.L. (2013) A process algebra for wireless mesh networks used for modelling, verifying and analysing AODV. [Professional and Technical Reports] |
||
![[up]](/style/images/multi_up.png)
Up a level