Pirmez, L., Pedroza, A. and Mesquita, A. (2015) “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(1). Available at: https://jcis.emnuvens.com.br/jcis/article/view/219 (Accessed: 19 September 2024).