Formal methods for the analysis of wireless network protocols (University of Oxford, 2011)

(untitled) - Fruth, M