BibTeX record conf/fmcad/BelovM11

download as .bib file

@inproceedings{DBLP:conf/fmcad/BelovM11,
  author    = {Anton Belov and
               Jo{\~{a}}o Marques{-}Silva},
  title     = {Accelerating {MUS} extraction with recursive model rotation},
  booktitle = {International Conference on Formal Methods in Computer-Aided Design,
               {FMCAD} '11, Austin, TX, USA, October 30 - November 02, 2011},
  pages     = {37--40},
  year      = {2011},
  crossref  = {DBLP:conf/fmcad/2011},
  url       = {http://dl.acm.org/citation.cfm?id=2157663},
  timestamp = {Sat, 29 Apr 2017 16:20:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/BelovM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2011,
  editor    = {Per Bjesse and
               Anna Slobodov{\'{a}}},
  title     = {International Conference on Formal Methods in Computer-Aided Design,
               {FMCAD} '11, Austin, TX, USA, October 30 - November 02, 2011},
  publisher = {{FMCAD} Inc.},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=2157654},
  isbn      = {978-0-9835678-1-3},
  timestamp = {Mon, 13 Aug 2012 09:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier