Ssme: simulador para maquinas de estados finitos decompostas com don't cares - Arauco, R G C; Russo, A; Llanos Quintero, Carlos Humberto; Strum, Marius (Congresso de Iniciacao Cientifica e Tecnologica em Engenharia, 1994)