Integração de verificadores formais para agentes móveis (2007)
Unidade: IMESubjects: INTELIGÊNCIA ARTIFICIAL, SISTEMAS MULTIAGENTES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ANDRADE, André Gustavo. Integração de verificadores formais para agentes móveis. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-151145/. Acesso em: 25 maio 2024.APA
Andrade, A. G. (2007). Integração de verificadores formais para agentes móveis (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-151145/NLM
Andrade AG. Integração de verificadores formais para agentes móveis [Internet]. 2007 ;[citado 2024 maio 25 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-151145/Vancouver
Andrade AG. Integração de verificadores formais para agentes móveis [Internet]. 2007 ;[citado 2024 maio 25 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-151145/