BibTeX record conf/ieeehpcs/MotaNS10

download as .bib file

@inproceedings{DBLP:conf/ieeehpcs/MotaNS10,
  author    = {Benoit Da Mota and
               Pascal Nicolas and
               Igor St{\'{e}}phan},
  title     = {A new parallel architecture for {QBF} tools},
  booktitle = {{HPCS}},
  pages     = {324--330},
  publisher = {{IEEE}},
  year      = {2010}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics