@inproceedings{inproceedingsadc523eb,
title   = {Nova tecnica de decomposicao de maquinas de estados finitos},
author = {Llanos Quintero, Carlos Humberto and Strum, Marius},
year = {1994},
publisher = {Sbmicro/Ufrj},
booktitle   = {Congresso da Sociedade Brasileira de Microeletronica}
}