@dblp

Formal methods for the analysis of wireless network protocols.

. University of Oxford, UK, (2011)British Library, EThOS.

Links and resources

Tags