KUMAR SINGH, Awadhesh; GHANEKAR, Umesh; BANDYOPADHYAY, Anup Kumar. Specifying mobile network using a wp-like formal approach. Revista Colombiana de Computación, [S. l.], v. 6, n. 2, p. 1–19, 2005. Disponível em: https://revistasunabeduco.biteca.online/index.php/rcc/article/view/1063. Acesso em: 23 ago. 2025.