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):65-72. https://computerresearch.org/index.php/computer/article/view/1531.