%0 Conference Paper %1 conf/eurodac/ChoHMPS94 %A Cho, Hyunwoo %A Hachtel, Gary D. %A Macii, Enrico %A Poncino, Massimo %A Somenzi, Fabio %B EDAC-ETC-EUROASIC %D 1994 %E Werner, Robert %I IEEE Computer Society %K dblp %P 137-141 %T A State Space Decomposition Algorithm for Approximate FSM Traversal. %U http://dblp.uni-trier.de/db/conf/eurodac/eurodac1994.html#ChoHMPS94 %@ 0-8186-5410-4

@inproceedings{conf/eurodac/ChoHMPS94, added-at = {2017-05-24T00:00:00.000+0200}, author = {Cho, Hyunwoo and Hachtel, Gary D. and Macii, Enrico and Poncino, Massimo and Somenzi, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/215b8f02c8f50df895ae2072251be87ba/dblp}, booktitle = {EDAC-ETC-EUROASIC}, crossref = {conf/eurodac/1994edac}, editor = {Werner, Robert}, ee = {https://doi.org/10.1109/EDTC.1994.326885}, interhash = {fc52f4a9961d02a5e011dc4ee9fabf4c}, intrahash = {15b8f02c8f50df895ae2072251be87ba}, isbn = {0-8186-5410-4}, keywords = {dblp}, pages = {137-141}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T22:26:24.000+0200}, title = {A State Space Decomposition Algorithm for Approximate FSM Traversal.}, url = {http://dblp.uni-trier.de/db/conf/eurodac/eurodac1994.html#ChoHMPS94}, year = 1994 }