Graphical modelling for simulation and formal analysis of wireless network protocols

Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance (MeMoT 2007) at the 7th International Conference on Integrated Formal Methods (IFM 2007)

Technical Report CS-TR-1032, University of Newcastle upon Tyne

80—87

2007