FSM Decomposition Revisited: Algebraic Structure Theory Applied to MCNC Benchmark FSMs.

Martin Geiger, Thomas Mller-Wipperfrth

Browse the full DAC paper archive.