DBLP Record 'conf/iccd/BeckerHKLLNW08'

BibTeX

@inproceedings{DBLP:conf/iccd/BeckerHKLLNW08,
  author    = {Bernd Becker and
               Marc Herbstritt and
               Natalia Kalinnik and
               Matthew D. T. Lewis and
               Juri Lichtner and
               Tobias Nopper and
               Ralf Wimmer},
  title     = {Propositional approximations for bounded model checking
               of partial circuit designs},
  booktitle = {ICCD},
  year      = {2008},
  pages     = {52-59},
  ee        = {http://dx.doi.org/10.1109/ICCD.2008.4751840},
  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}
}