BibTeX record conf/iccad/HoSHKDBTL00

• > Home > conf/iccad/HoSHKDBTL00

@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},
  editor       = {Ellen Sentovich},
  title        = {Smart Simulation Using Collaborative Formal and Simulation Engines},
  booktitle    = {Proceedings of the 2000 {IEEE/ACM} International Conference on Computer-Aided
                  Design, 2000, San Jose, California, USA, November 5-9, 2000},
  pages        = {120--126},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ICCAD.2000.896461},
  doi          = {10.1109/ICCAD.2000.896461},
  timestamp    = {Fri, 24 Mar 2023 00:01:53 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/HoSHKDBTL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}