DBLP BibTeX Record 'conf/date/MarinMLB12'

@inproceedings{DBLP:conf/date/MarinMLB12,
  author    = {Paolo Marin and
               Christian Miller and
               Matthew D. T. Lewis and
               Bernd Becker},
  title     = {Verification of partial designs using incremental QBF solving},
  booktitle = {DATE},
  year      = {2012},
  pages     = {623-628},
  ee        = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6176547},
  crossref  = {DBLP:conf/date/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/date/2012,
  editor    = {Wolfgang Rosenstiel and
               Lothar Thiele},
  title     = {2012 Design, Automation {\&} Test in Europe Conference
               {\&} Exhibition, DATE 2012, Dresden, Germany, March 12-16,
               2012},
  booktitle = {DATE},
  publisher = {IEEE},
  year      = {2012},
  isbn      = {978-1-4577-2145-8},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6171057},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}