@InProceedings{FMM07,
author={A. Fehnker and M. Fruth and A. McIver},
title={Graphical modelling for simulation and formal analysis of wireless network protocols},
booktitle={Proc. Workshop on Methods, Models and Tools for Fault-Tolerance (MeMoT'07) at the 7th International Conference on Integrated Formal Methods (IFM'07)},
year={2007},

editor={},
pages={80-87},
organization={},
publisher={},
series={},
volume={},
address={},
month={Oxford},
note={Technical Report CS-TR-1032, University of Newcastle upon Tyne},
key={}
}