A methodology for model−checking ad−hoc networks

A methodology for model−checking ad−hoc networks

Bibliographische Detailangaben
Hauptverfasser: Zakiuddin, I, Goldsmith, M, Whittaker, P, Gardiner, P
Format: Conference item
Veröffentlicht: Springer−Verlag 2003

Ähnliche Einträge