@inproceedings{DBLP:conf/iccad/HoSHKDBTL00,
author = {Pei-Hsin Ho and
Thomas R. Shiple and
Kevin Harer and
James H. Kukula and
Robert F. Damiano and
Valeria Bertacco and
Jerry Taylor and
Jiang Long},
title = {Smart Simulation Using Collaborative Formal and Simulation
Engines},
booktitle = {ICCAD},
year = {2000},
pages = {120-126},
crossref = {DBLP:conf/iccad/2000},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/iccad/2000,
editor = {Ellen Sentovich},
title = {Proceedings of the 2000 IEEE/ACM International Conference
on Computer-Aided Design, 2000, San Jose, California, USA,
November 5-9, 2000},
booktitle = {ICCAD},
publisher = {IEEE},
year = {2000},
isbn = {0-7803-6448-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}