Matthias Fruth

Formal methods for the analysis of wireless network protocols.
. University of Oxford, UK, (2011)British Library, EThOS.
  •  :
  •  :
далее