Challenges in the verification of mobile ad-hoc networking systems.

Rich Folio, J. Bibb Cain, Sastri Kota

Browse the full PIMRC paper archive.