Modular Decomposition of Synchronous Sequential Machines

Peter Weiner, John E. Hopcroft

Browse the full FOCS paper archive.