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 = {GandALF},
  series    = {{EPTCS}},
  volume    = {256},
  pages     = {180--194},
  year      = {2017}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics