Machha Narender, and Dr .R.P.Singh. “Formal Verification and Validates the Mobile Nodes Using NNDRP”. Global Journal of Computer Science and Technology 17, no. E2 (March 15, 2017): 65–72. Accessed May 6, 2024. https://computerresearch.org/index.php/computer/article/view/1531.