BibTeX record conf/dagstuhl/Klauck01

download as .bib file

@inproceedings{DBLP:conf/dagstuhl/Klauck01,
  author       = {Hartmut Klauck},
  editor       = {Erich Gr{\"{a}}del and
                  Wolfgang Thomas and
                  Thomas Wilke},
  title        = {Algorithms for Parity Games},
  booktitle    = {Automata, Logics, and Infinite Games: {A} Guide to Current Research
                  [outcome of a Dagstuhl seminar, February 2001]},
  series       = {Lecture Notes in Computer Science},
  volume       = {2500},
  pages        = {107--129},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-36387-4\_7},
  doi          = {10.1007/3-540-36387-4\_7},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Klauck01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics