Machha Narender, & 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. Retrieved from https://computerresearch.org/index.php/computer/article/view/1531