A new algorithm for the reduction of incompletely specified finite state machines.

Jorge M. Pena, Arlindo L. Oliveira

Browse the full ICCAD paper archive.