Verification of behaviourist multi-agent systems by means of formally guided simulations (2011)
Unidade: IMEAssuntos: TÉCNICAS DE PROGRAMAÇÃO, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Salem da. Verification of behaviourist multi-agent systems by means of formally guided simulations. 2011. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/. Acesso em: 23 ago. 2024.APA
Silva, P. S. da. (2011). Verification of behaviourist multi-agent systems by means of formally guided simulations (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/NLM
Silva PS da. Verification of behaviourist multi-agent systems by means of formally guided simulations [Internet]. 2011 ;[citado 2024 ago. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/Vancouver
Silva PS da. Verification of behaviourist multi-agent systems by means of formally guided simulations [Internet]. 2011 ;[citado 2024 ago. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/