BibTeX record conf/iccd/ShekharKGE05

download as .bib file

@inproceedings{DBLP:conf/iccd/ShekharKGE05,
  author    = {Namrata Shekhar and
               Priyank Kalla and
               Sivaram Gopalakrishnan and
               Florian Enescu},
  title     = {Exploiting Vanishing Polynomials for Equivalence Veri.cation of Fixed-Size
               Arithmetic Datapaths},
  booktitle = {{ICCD}},
  pages     = {215--220},
  publisher = {{IEEE} Computer Society},
  year      = {2005}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics