KUMAR SINGH, A.; GHANEKAR, U.; BANDYOPADHYAY, A. K. 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/index.php/rcc/article/view/1063. Acesso em: 18 abr. 2024.