Structural FSM traversal

Dominik Stoffel, Markus Wedler, Peter Warkentin, Wolfgang Kunz. Structural FSM traversal. IEEE Trans. on CAD of Integrated Circuits and Systems, 23(5):598-619, 2004. [doi]

Abstract

Abstract is missing.