Planejamento baseado em verificação simbólica de modelos (2018)
Santos, Viviane Bonadia dos 
; Barros, Leliane Nunes de (Orientador)
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Viviane Bonadia dos. Planejamento baseado em verificação simbólica de modelos. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113624/. Acesso em: 24 jul. 2024.APA
Santos, V. B. dos. (2018). Planejamento baseado em verificação simbólica de modelos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113624/NLM
Santos VB dos. Planejamento baseado em verificação simbólica de modelos [Internet]. 2018 ;[citado 2024 jul. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113624/Vancouver
Santos VB dos. Planejamento baseado em verificação simbólica de modelos [Internet]. 2018 ;[citado 2024 jul. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113624/
