A methodology for model−checking ad−hoc networks

A methodology for model−checking ad−hoc networks

Bibliographic Details
Main Authors: Zakiuddin, I, Goldsmith, M, Whittaker, P, Gardiner, P
Format: Conference item
Published: Springer−Verlag 2003

Similar Items