DBLP Record 'conf/date/DasguptaCNKC01'

BibTeX

@inproceedings{DBLP:conf/date/DasguptaCNKC01,
  author    = {Pallab Dasgupta and
               P. P. Chakrabarti and
               Amit Nandi and
               Sekar Krishna and
               Arindam Chakrabarti},
  title     = {Abstraction of word-level linear arithmetic functions from
               bit-level component descriptions},
  booktitle = {DATE},
  year      = {2001},
  pages     = {4-8},
  ee        = {http://doi.acm.org/10.1145/367072.367075},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}