@mastersthesis{mastersthesisc29a60e9,
title   = {Verificação formal de sistemas modelados em estados finitos},
author = {Ferreira, Nelson França Guimarães and Silva, Paulo Sérgio Muniz},
year = {2006},
school = {Universidade de São Paulo}
}