QUADROS, Carlos Eduardo Pereira; 						SALDANHA, Jader de Freitas; 						BASTOS, Narusci; 						MARUBE, Newton Nyamasege; 						GONÇALVES, Eder Mateus.
 Uma análise comparativa da especificação formal em sistemas multi-agente: os desafios e as exigências uma década depois. <em>In</em>: WORKSHOP-ESCOLA DE SISTEMAS DE AGENTES, SEUS AMBIENTES E APLICAÇÕES (WESAAC), 10.	, 2016, Maceió/AL.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2016
.
 p. 82-93. 
			ISSN 2326-5434. 
		DOI: <a href="https://doi.org/10.5753/wesaac.2016.33208">https://doi.org/10.5753/wesaac.2016.33208</a>.