Modeling and Verification of NLSR Protocol using UPPAAL.

Yuan Fei, Huibiao Zhu, Xin Li

Browse the full TASE paper archive.