BibTeX record conf/qest/KwiatkowskaNPS20

• > Home > conf/qest/KwiatkowskaNPS20

@inproceedings{DBLP:conf/qest/KwiatkowskaNPS20,
  author       = {Marta Kwiatkowska and
                  Gethin Norman and
                  David Parker and
                  Gabriel Santos},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {Multi-player Equilibria Verification for Concurrent Stochastic Games},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {74--95},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_7},
  doi          = {10.1007/978-3-030-59854-9\_7},
  timestamp    = {Tue, 16 Aug 2022 23:04:39 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/KwiatkowskaNPS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}