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]
@article{StoffelWWK04,
title = {Structural FSM traversal},
author = {Dominik Stoffel and Markus Wedler and Peter Warkentin and Wolfgang Kunz},
year = {2004},
doi = {10.1109/TCAD.2004.826552},
url = {http://doi.ieeecomputersociety.org/10.1109/TCAD.2004.826552},
tags = {traversal},
researchr = {https://researchr.org/publication/StoffelWWK04},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {23},
number = {5},
pages = {598-619},
}