%0 Conference Paper %1 conf/iccad/WangLJHS03 %A Wang, Chao %A Li, Bing %A Jin, HoonSang %A Hachtel, Gary D. %A Somenzi, Fabio %B ICCAD %D 2003 %I IEEE Computer Society / ACM %K dblp %P 408-415 %T Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. %U http://dblp.uni-trier.de/db/conf/iccad/iccad2003.html#WangLJHS03 %@ 1-58113-762-1

@inproceedings{conf/iccad/WangLJHS03, added-at = {2023-03-24T00:00:00.000+0100}, author = {Wang, Chao and Li, Bing and Jin, HoonSang and Hachtel, Gary D. and Somenzi, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/2d830c4c58fbb1469d4fd98953a290a35/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/2003}, ee = {https://dl.acm.org/citation.cfm?id=1009923}, interhash = {ae873358e65f42787236ec8e671bb58f}, intrahash = {d830c4c58fbb1469d4fd98953a290a35}, isbn = {1-58113-762-1}, keywords = {dblp}, pages = {408-415}, publisher = {IEEE Computer Society / ACM}, timestamp = {2024-04-10T17:53:23.000+0200}, title = {Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2003.html#WangLJHS03}, year = 2003 }