Machha Narender, and Dr .R.P.Singh. “Formal Verification and Validates the Mobile Nodes Using NNDRP”. Global Journal of Computer Science and Technology, vol. 17, no. E2, Mar. 2017, pp. 65-72, https://computerresearch.org/index.php/computer/article/view/1531.