Srinivas Devadas, A. Richard Newton. Decomposition and factorization of sequential finite state machines. IEEE Trans. on CAD of Integrated Circuits and Systems, 8(11):1206-1217, 1989. [doi]
@article{DevadasN89a,
title = {Decomposition and factorization of sequential finite state machines},
author = {Srinivas Devadas and A. Richard Newton},
year = {1989},
doi = {10.1109/43.41505},
url = {http://doi.ieeecomputersociety.org/10.1109/43.41505},
tags = {state machines},
researchr = {https://researchr.org/publication/DevadasN89a},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {8},
number = {11},
pages = {1206-1217},
}