USP Electronic Research Repository

Items where Author is "van Glabbeek, R.J."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Conference Proceedings

Fehnker, 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]

Fehnker, Ansgar and van Glabbeek, R.J. and Hofner, P. and Mclver, A. and Portmann, M. and Tan, W.L. (2012) A process algebra for wireless mesh networks. [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]

This list was generated on Fri Mar 29 10:59:39 2024 +12.