|
|
|
|
Login | Create Account | |||
|
Items where Author is "Hoefner, P." |
||
|
Group by: Item Type | No Grouping Jump to: Conference Proceedings Number of items: 1. 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] |