Kumar Singh A, Ghanekar U, Bandyopadhyay AK. Specifying mobile network using a wp-like formal approach. Rev. colomb. comput. [Internet]. 1 de diciembre de 2005 [citado 23 de agosto de 2025];6(2):1-19. Disponible en: https://revistasunabeduco.biteca.online/index.php/rcc/article/view/1063