@article{DBLP:journals/fmsd/EsparzaKS16,
  author    = {Javier Esparza and
               Jan Kret{\'{\i}}nsk{\'{y}} and
               Salomon Sickert},
  title     = {From {LTL} to deterministic automata - {A} safraless compositional
               approach},
  journal   = {Formal Methods in System Design},
  volume    = {49},
  number    = {3},
  pages     = {219--271},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10703-016-0259-2},
  doi       = {10.1007/s10703-016-0259-2},
  timestamp = {Fri, 06 Jan 2017 18:45:35 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fmsd/EsparzaKS16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/cav/EsparzaK14,
  author    = {Javier Esparza and
               Jan Kret{\'{\i}}nsk{\'{y}}},
  title     = {From {LTL} to Deterministic Automata: {A} Safraless Compositional
               Approach},
  booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 18-22, 2014. Proceedings},
  pages     = {192--208},
  year      = {2014},
  crossref  = {DBLP:conf/cav/2014},
  url       = {https://doi.org/10.1007/978-3-319-08867-9_13},
  doi       = {10.1007/978-3-319-08867-9_13},
  timestamp = {Mon, 30 Jun 2014 11:31:20 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cav/EsparzaK14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/cav/2014,
  editor    = {Armin Biere and
               Roderick Bloem},
  title     = {Computer Aided Verification - 26th International Conference, {CAV}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 18-22, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8559},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08867-9},
  doi       = {10.1007/978-3-319-08867-9},
  isbn      = {978-3-319-08866-2},
  timestamp = {Mon, 30 Jun 2014 11:23:38 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cav/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}