BibTeX record conf/qest/ChatterjeeAH06

download as .bib file

@inproceedings{DBLP:conf/qest/ChatterjeeAH06,
  author       = {Krishnendu Chatterjee and
                  Luca de Alfaro and
                  Thomas A. Henzinger},
  title        = {Strategy Improvement for Concurrent Reachability Games},
  booktitle    = {Third International Conference on the Quantitative Evaluation of Systems
                  {(QEST} 2006), 11-14 September 2006, Riverside, California, {USA}},
  pages        = {291--300},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/QEST.2006.48},
  doi          = {10.1109/QEST.2006.48},
  timestamp    = {Thu, 23 Mar 2023 23:59:38 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/ChatterjeeAH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics