@mastersthesis{mastersthesis45d11b37,
title   = {Planejamento baseado em verificação simbólica de modelos},
author = {Santos, Viviane Bonadia dos and Barros, Leliane Nunes de},
year = {2018},
doi = {10.11606/D.45.2018.tde-20230727-113624},
school = {Universidade de São Paulo}
}