Graphical modelling for simulation and formal analysis of wireless network protocols
Ansgar Fehnker‚ Matthias Fruth and Annabelle McIver
Book Title
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)
Note
Technical Report CS−TR−1032‚ University of Newcastle upon Tyne
Pages
80–87
Year
2007