BibTeX record conf/icalp/EtessamiWS01

download as .bib file

@inproceedings{DBLP:conf/icalp/EtessamiWS01,
  author       = {Kousha Etessami and
                  Thomas Wilke and
                  Rebecca A. Schuller},
  editor       = {Fernando Orejas and
                  Paul G. Spirakis and
                  Jan van Leeuwen},
  title        = {Fair Simulation Relations, Parity Games, and State Space Reduction
                  for B{\"{u}}chi Automata},
  booktitle    = {Automata, Languages and Programming, 28th International Colloquium,
                  {ICALP} 2001, Crete, Greece, July 8-12, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2076},
  pages        = {694--707},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-48224-5\_57},
  doi          = {10.1007/3-540-48224-5\_57},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/EtessamiWS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics