BibTeX record journals/corr/abs-1711-10637

download as .bib file

@inproceedings{DBLP:journals/corr/abs-1711-10637,
  author    = {Bernd Finkbeiner and
               Manuel Gieseking and
               Jesko Hecking{-}Harbusch and
               Ernst{-}R{\"{u}}diger Olderog},
  title     = {Symbolic vs. Bounded Synthesis for Petri Games},
  booktitle = {SYNT@CAV},
  series    = {{EPTCS}},
  volume    = {260},
  pages     = {23--43},
  year      = {2017}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics