@inproceedings{inproceedingscd25f92e,
title   = {Sinmef: um sistema para decomposicao de maquinas de estados finitos},
author = {Llanos Quintero, Carlos Humberto and Strum, Marius},
year = {1996},
publisher = {Lsi-EpUSP/Cti/Uab},
booktitle   = {Workshop Iberchip}
}