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), pp. 65–72. Available at: https://computerresearch.org/index.php/computer/article/view/1531 (Accessed: 6 May 2024).