Formal methods for the analysis of wireless network protocols (2011)
Attributed to:
UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://ora.ox.ac.uk/objects/uuid:df2c08f4-001c-42d3-a2f4-9922f081fb49
Type: Thesis