BibTeX record: conf/date/MarinMLB12

download as .bib file

@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 = {2012 Design, Automation {\&} Test in Europe Conference {\&}
               Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
  year      = {2012},
  pages     = {623--628},
  crossref  = {DBLP:conf/date/2012},
  url       = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6176547},
  timestamp = {Tue, 16 Sep 2014 05:04:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/date/MarinMLB12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  year      = {2012},
  publisher = {{IEEE}},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6171057},
  isbn      = {978-1-4577-2145-8},
  timestamp = {Tue, 16 Sep 2014 05:04:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/date/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}