BibTeX record journals/corr/abs-1904-07736

download as .bib file

@article{DBLP:journals/corr/abs-1904-07736,
  author    = {Swen Jacobs and
               Roderick Bloem and
               Maximilien Colange and
               Peter Faymonville and
               Bernd Finkbeiner and
               Ayrat Khalimov and
               Felix Klein and
               Michael Luttenberger and
               Philipp J. Meyer and
               Thibaud Michaud and
               Mouhammad Sakr and
               Salomon Sickert and
               Leander Tentrup and
               Adam Walker},
  title     = {The 5th Reactive Synthesis Competition {(SYNTCOMP} 2018): Benchmarks,
               Participants {\&} Results},
  journal   = {CoRR},
  volume    = {abs/1904.07736},
  year      = {2019},
  url       = {http://arxiv.org/abs/1904.07736},
  archivePrefix = {arXiv},
  eprint    = {1904.07736},
  timestamp = {Fri, 26 Apr 2019 13:18:53 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1904-07736},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics