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://revistas.unab.edu.co/rcc/article/view/1063. Acesso em: 4 ago. 2026.