BibTeX record journals/corr/abs-1303-0797

download as .bib file

@inproceedings{DBLP:journals/corr/abs-1303-0797,
  author       = {Benedikt Br{\"{u}}tsch},
  editor       = {Fabio Mogavero and
                  Aniello Murano and
                  Moshe Y. Vardi},
  title        = {Synthesizing Structured Reactive Programs via Deterministic Tree Automata},
  booktitle    = {Proceedings 1st International Workshop on Strategic Reasoning, {SR}
                  2013, Rome, Italy, March 16-17, 2013},
  series       = {{EPTCS}},
  volume       = {112},
  pages        = {107--113},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.112.16},
  doi          = {10.4204/EPTCS.112.16},
  timestamp    = {Sat, 30 Sep 2023 10:08:06 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-0797.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics