Items where Author is "Tan, W.L."

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]

Professional and Technical Reports

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