Stochastic Parity Games on Lossy Channel Systems

Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg. Stochastic Parity Games on Lossy Channel Systems. In Kaustubh R. Joshi, Markus Siegle, Mariƫlle Stoelinga, Pedro R. D'Argenio, editors, Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Volume 8054 of Lecture Notes in Computer Science, pages 338-354, Springer, 2013. [doi]

@inproceedings{AbdullaCMS13,
  title = {Stochastic Parity Games on Lossy Channel Systems},
  author = {Parosh Aziz Abdulla and Lorenzo Clemente and Richard Mayr and Sven Sandberg},
  year = {2013},
  doi = {10.1007/978-3-642-40196-1_29},
  url = {http://dx.doi.org/10.1007/978-3-642-40196-1_29},
  researchr = {https://researchr.org/publication/AbdullaCMS13},
  cites = {0},
  citedby = {0},
  pages = {338-354},
  booktitle = {Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
  editor = {Kaustubh R. Joshi and Markus Siegle and Mariƫlle Stoelinga and Pedro R. D'Argenio},
  volume = {8054},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-40195-4},
}