Using complementation and resequencing to minimize transitionsRajeev Murgai, Masahiro Fujita, Arlindo L. Oliveira conference summary
A new algorithm for the reduction of incompletely specified finite state machinesJorge Martínez Peña, Arlindo L. Oliveira conference summary
Finite state machine decomposition for low powerJosé Monteiro, Arlindo L. Oliveira conference summary