PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos (2017)
Santos, Viviane Bonadia dos 
; Barros, Leliane Nunes de
Source: Anais. Conference titles: Encontro Nacional de Inteligência Artificial e Computacional - ENIAC. Unidade: IME
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 e BARROS, Leliane Nunes de. PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos. 2017, Anais.. Porto Alegre: SBC, 2017. Disponível em: http://comissoes.sbc.org.br/ce-ia/pg/historico/base/ENIAC-2017/Anais-ENIAC-2017.pdf. Acesso em: 03 maio 2026.APA
Santos, V. B. dos, & Barros, L. N. de. (2017). PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos. In Anais. Porto Alegre: SBC. Recuperado de http://comissoes.sbc.org.br/ce-ia/pg/historico/base/ENIAC-2017/Anais-ENIAC-2017.pdfNLM
Santos VB dos, Barros LN de. PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos [Internet]. Anais. 2017 ;[citado 2026 maio 03 ] Available from: http://comissoes.sbc.org.br/ce-ia/pg/historico/base/ENIAC-2017/Anais-ENIAC-2017.pdfVancouver
Santos VB dos, Barros LN de. PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos [Internet]. Anais. 2017 ;[citado 2026 maio 03 ] Available from: http://comissoes.sbc.org.br/ce-ia/pg/historico/base/ENIAC-2017/Anais-ENIAC-2017.pdf
