Graphical modelling for simulation and formal analysis of wireless network protocols (2007)
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://qav.comlab.ox.ac.uk/bibitem.php?key=FMM07
Type: Technical Report
Volume: Technical Report CS-TR-1032