@inproceedings{DBLP:conf/iccad/WangLJHS03,
author = {Chao Wang and
Bing Li and
HoonSang Jin and
Gary D. Hachtel and
Fabio Somenzi},
title = {Improving Ariadne{\'y}s Bundle by Following Multiple
Threads in Abstraction Refinement},
booktitle = {ICCAD},
year = {2003},
pages = {408-415},
ee = {http://doi.acm.org/10.1145/996070.1009923},
crossref = {DBLP:conf/iccad/2003},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/iccad/2003,
title = {2003 International Conference on Computer-Aided Design (ICCAD'03),
November 9-13, 2003, San Jose, CA, USA},
booktitle = {ICCAD},
publisher = {IEEE Computer Society / ACM},
year = {2003},
isbn = {1-58113-762-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
