@mastersthesis{mastersthesis0c0ee1da,
title   = {Estratégia para geração de sequencias de verificação para máquinas de estados finitos},
author = {Porto, Faimison Rodrigues and Simão, Adenilso da Silva},
year = {2013},
school = {Universidade de São Paulo}
}