BibTeX record journals/corr/abs-1711-11439

• > Home > journals/corr/abs-1711-11439

@inproceedings{DBLP:journals/corr/abs-1711-11439,
  author       = {Swen Jacobs and
                  Nicolas Basset and
                  Roderick Bloem and
                  Romain Brenguier and
                  Maximilien Colange and
                  Peter Faymonville and
                  Bernd Finkbeiner and
                  Ayrat Khalimov and
                  Felix Klein and
                  Thibaud Michaud and
                  Guillermo A. P{\'{e}}rez and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Ocan Sankur and
                  Leander Tentrup},
  editor       = {Dana Fisman and
                  Swen Jacobs},
  title        = {The 4th Reactive Synthesis Competition {(SYNTCOMP} 2017): Benchmarks,
                  Participants {\&} Results},
  booktitle    = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
                  Germany, 22nd July 2017},
  series       = {{EPTCS}},
  volume       = {260},
  pages        = {116--143},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.260.10},
  doi          = {10.4204/EPTCS.260.10},
  timestamp    = {Mon, 28 Aug 2023 21:26:19 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-11439.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}