A methodology for model−checking ad−hoc networks
Irfan Zakiuddin‚ Michael Goldsmith‚ Paul Whittaker and Paul Gardiner
Book Title
Proceedings of the 10th international conference on Model checking software
Organisation
Springer−Verlag
Pages
181–196
Year
2003