Skip to main content

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