The Minimization and Decomposition of Interface State Machines.

Ajay J. Daga, William P. Birmingham

Browse the full DAC paper archive.