S., Rui C. Botelho A.; 						ANDRADE, Aline M. S.; 						COSTA, Augusto Loureiro da; 						BARBOZA, Frederico J. R..
 An Experiment of Verification of Multi-agent Robotic Soccer Plans with Model Checking. <em>In</em>: WORKSHOP-ESCOLA DE SISTEMAS DE AGENTES, SEUS AMBIENTES E APLICAÇÕES (WESAAC), 7.	, 2013, São Paulo/SP.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2013
.
 p. 97-102. 
			ISSN 2326-5434.