Formal methods for the analysis of wireless network protocols.

Sat, 01 Jan 2011 00:00:00 +0100

Matthias Fruth:
Formal methods for the analysis of wireless network protocols. University of Oxford, UK, 2011