Challenges in the verification of mobile ad-hoc networking systems. - Rich Folio; J. Bibb Cain; Sastri Kota (PIMRC, 2005)

Challenges in the Verification of Mobile Ad Hoc Networking Systems. - Rich Folio; J. Bibb Cain; Sastri Kota (Int. J. Wirel. Inf. Networks, 2007)