área de pesquisa Autran Macêdo Solução Exata de Problemas de Escalonamento Determinísticos por meio de Verificação Simbólica de Modelos
