BibTeX record conf/tacas/EsparzaKRS17

download as .bib file

@inproceedings{DBLP:conf/tacas/EsparzaKRS17,
  author    = {Javier Esparza and
               Jan Kret{\'{\i}}nsk{\'{y}} and
               Jean{-}Fran{\c{c}}ois Raskin and
               Salomon Sickert},
  title     = {From {LTL} and Limit-Deterministic B{\"{u}}chi Automata to Deterministic
               Parity Automata},
  booktitle = {{TACAS} {(1)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10205},
  pages     = {426--442},
  year      = {2017}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics