@inproceedings{inproceedings80641e0b,
title   = {Modulo de geracao de sequencias de teste baseadas em maquinas de estado finito},
author = {Nakazato, K K and Maldonado, José Carlos},
year = {1995},
publisher = {Icmsc-Usp},
booktitle   = {Workshop de Dissertacoes Defendidas do Sce-Icmsc}
}