|
|
|
|
|
Items where Author is "Hoefner, P." |
||
|
Group by: Item Type | No Grouping Jump to: Conference Proceedings | Other Number of items: 2. 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] OtherFehnker, Ansgar and Hoefner, P. and Kamali, M. and Mehta, Vinay P. (2013) Model files accompanying "Topology-based Mobility Models for Wireless Networks". UNSPECIFIED. |