BibTeX record journals/corr/abs-1709-02102

download as .bib file

@inproceedings{DBLP:journals/corr/abs-1709-02102,
  author    = {David M{\"{u}}ller and
               Salomon Sickert},
  title     = {{LTL} to Deterministic Emerson-Lei Automata},
  booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
               and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
               2017},
  pages     = {180--194},
  year      = {2017},
  crossref  = {DBLP:journals/corr/abs-1709-01761},
  url       = {https://doi.org/10.4204/EPTCS.256.13},
  doi       = {10.4204/EPTCS.256.13},
  timestamp = {Fri, 30 Nov 2018 13:24:58 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1709-02102},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1709-01761,
  editor    = {Patricia Bouyer and
               Andrea Orlandini and
               Pierluigi San Pietro},
  title     = {Proceedings Eighth International Symposium on Games, Automata, Logics
               and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
               2017},
  series    = {{EPTCS}},
  volume    = {256},
  year      = {2017},
  url       = {http://arxiv.org/abs/1709.01761},
  timestamp = {Mon, 13 Aug 2018 16:46:27 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1709-01761},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics