Machha Narender and Dr .R.P.Singh 2017. Formal Verification and Validates the Mobile Nodes using NNDRP. Global Journal of Computer Science and Technology. 17, E2 (Mar. 2017), 65–72.