%0 Journal Article %1 journals/tcad/ChoHMPS96a %A Cho, Hyunwoo %A Hachtel, Gary D. %A Macii, Enrico %A Plessier, Bernard %A Somenzi, Fabio %D 1996 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 12 %P 1465-1478 %T Algorithms for approximate FSM traversal based on state space decomposition. %U http://dblp.uni-trier.de/db/journals/tcad/tcad15.html#ChoHMPS96a %V 15

@article{journals/tcad/ChoHMPS96a, added-at = {2020-09-24T00:00:00.000+0200}, author = {Cho, Hyunwoo and Hachtel, Gary D. and Macii, Enrico and Plessier, Bernard and Somenzi, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/26954d571911a6a10fae5c651790928f3/dblp}, ee = {https://doi.org/10.1109/43.552080}, interhash = {db8dcc12ce3ec243992aa09dd1a886b9}, intrahash = {6954d571911a6a10fae5c651790928f3}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 12, pages = {1465-1478}, timestamp = {2020-09-25T11:48:57.000+0200}, title = {Algorithms for approximate FSM traversal based on state space decomposition.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad15.html#ChoHMPS96a}, volume = 15, year = 1996 }