LINDER, Marcelo Santos; COSTA, Augusto Loureiro da. Behavioral Modeling of Multi-Agent Systems. In: NATIONAL MEETING ON ARTIFICIAL AND COMPUTATIONAL INTELLIGENCE (ENIAC), 6. , 2007, Rio de Janeiro/RJ. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2007 . p. 1172-1181. ISSN 2763-9061.