MARKOVICZ, João Vicente; 						ALVES, Gleifer Vaz; 						BORGES, André Pinz.
 Criação de Agentes BDI a partir de Modelos do UPPAAL. <em>In</em>: WORKSHOP-ESCOLA DE SISTEMAS DE AGENTES, SEUS AMBIENTES E APLICAÇÕES (WESAAC), 18.	, 2024, Brasília/DF.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2024
.
 p. 174-179. 
			ISSN 2326-5434.