RaudvereSSJ04'

BibTeX

@inproceedings{DBLP:conf/date/RaudvereSSJ04,
  author    = {Tarvo Raudvere and
               Ashish Kumar Singh and
               Ingo Sander and
               Axel Jantsch},
  title     = {Polynomial Abstraction for Verification of Sequentially
               Implemented Combinational Circuits},
  booktitle = {DATE},
  year      = {2004},
  pages     = {690-691},
  ee        = {http://csdl.computer.org/comp/proceedings/date/2004/2085/01/208510690abs.htm},
  crossref  = {DBLP:conf/date/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/date/2004,
  title     = {2004 Design, Automation and Test in Europe Conference and
               Exposition (DATE 2004), 16-20 February 2004, Paris, France},
  booktitle = {DATE},
  publisher = {IEEE Computer Society},
  year      = {2004},
  isbn      = {0-7695-2085-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}