Items where Author is "Hoefner, P."

Fehnker, Ansgar and Hoefner, P. and Kamali, M. and Mehta, Vinay P. (2013) Model files accompanying "Topology-based Mobility Models for Wireless Networks". UNSPECIFIED.

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]