@mastersthesis{mastersthesis8b0c641a, title = {Verification of behaviourist multi-agent systems by means of formally guided simulations}, author = {Silva, Paulo Salem da and Melo, Ana Cristina Vieira de and Gaudel, Marie-Claude}, year = {2011}, school = {Universidade de São Paulo} }