BibTeX record journals/jsat/BelovM12

download as .bib file

@article{DBLP:journals/jsat/BelovM12,
  author    = {Anton Belov and
               Jo{\~{a}}o Marques{-}Silva},
  title     = {MUSer2: An Efficient {MUS} Extractor},
  journal   = {{JSAT}},
  volume    = {8},
  number    = {3/4},
  pages     = {123--128},
  year      = {2012},
  url       = {https://satassociation.org/jsat/index.php/jsat/article/view/101},
  timestamp = {Tue, 17 Apr 2018 11:13:04 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsat/BelovM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier