@inproceedings{inproceedings5b5b3d35,
title   = {Gertab: uma ferramenta para otimizacao de maquinas de estados decompostas},
author = {Llanos Quintero, Carlos Humberto and Strum, Marius},
year = {1996},
publisher = {Sbc/Sbmicro/Ufpe},
booktitle   = {Simposio Brasileiro de Concepcao de Circuitos Integrados}
}