DBLP Record 'conf/iccd/ChengH08'

BibTeX

@inproceedings{DBLP:conf/iccd/ChengH08,
  author    = {Xueqi Cheng and
               Michael S. Hsiao},
  title     = {Ant Colony Optimization directed program abstraction for
               software bounded model checking},
  booktitle = {ICCD},
  year      = {2008},
  pages     = {46-51},
  ee        = {http://dx.doi.org/10.1109/ICCD.2008.4751839},
  crossref  = {DBLP:conf/iccd/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iccd/2008,
  title     = {26th International Conference on Computer Design, ICCD 2008,
               12-15 October 2008, Lake Tahoe, CA, USA, Proceedings},
  booktitle = {ICCD},
  publisher = {IEEE},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}