MACHHA NARENDER; DR .R.P.SINGH. Formal Verification and Validates the Mobile Nodes using NNDRP. Global Journal of Computer Science and Technology, [S. l.], v. 17, n. E2, p. 65–72, 2017. Disponível em: https://computerresearch.org/index.php/computer/article/view/1531. Acesso em: 6 may. 2024.