DBLP Record 'journals/tcad/ZaksYSICGGA08'

BibTeX

@article{DBLP:journals/tcad/ZaksYSICGGA08,
  author    = {Aleksandr Zaks and
               Zijiang Yang and
               Ilya Shlyakhter and
               Franjo Ivancic and
               Srihari Cadambi and
               Malay K. Ganai and
               Aarti Gupta and
               Pranav Ashar},
  title     = {Bitwidth Reduction via Symbolic Interval Analysis for Software
               Model Checking},
  journal   = {IEEE Trans. on CAD of Integrated Circuits and Systems},
  volume    = {27},
  number    = {8},
  year      = {2008},
  pages     = {1513-1517},
  ee        = {http://dx.doi.org/10.1109/TCAD.2008.925777},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}