@inproceedings{inproceedingse58ae763,
title   = {Ssme: simulador para maquinas de estados finitos decompostas com don't cares},
author = {Arauco, R G C and Russo, A and Llanos Quintero, Carlos Humberto and Strum, Marius},
year = {1994},
publisher = {Cetepe},
booktitle   = {Congresso de Iniciacao Cientifica e Tecnologica em Engenharia}
}