Pirmez, Luci, Aloysio Pedroza, and A. Mesquita. “Síntese De Alto Nível De Protocolos De Comunicação Especificados Na Linguagem Formal Estelle Usando O Ambiente Amical<br >DOI: 10.14209 Jcis.1997.7”. Journal of Communication and Information Systems 12, no. 1 (June 17, 2015). Accessed September 19, 2024. https://jcis.emnuvens.com.br/jcis/article/view/219.