Aiguo Xie, Peter A. Beerel. Implicit enumeration of strongly connected components and anapplication to formal verification. IEEE Trans. on CAD of Integrated Circuits and Systems, 19(10):1225-1230, 2000. [doi]
@article{XieB00,
title = {Implicit enumeration of strongly connected components and anapplication to formal verification},
author = {Aiguo Xie and Peter A. Beerel},
year = {2000},
doi = {10.1109/43.875347},
url = {http://doi.ieeecomputersociety.org/10.1109/43.875347},
researchr = {https://researchr.org/publication/XieB00},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {19},
number = {10},
pages = {1225-1230},
}