Quadros, C., 		Saldanha, J., 		Bastos, N., 		Marube, N., & 		Gonçalves, E.
2016 mai 23.  Uma análise comparativa da especificação formal em sistemas multi-agente: os desafios e as exigências uma década depois. Anais do Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC). [Online] :