%0 Conference Paper %1 conf/qest/AbdullaCMS13 %A Abdulla, Parosh Aziz %A Clemente, Lorenzo %A Mayr, Richard %A Sandberg, Sven %B QEST %D 2013 %E Joshi, Kaustubh R. %E Siegle, Markus %E Stoelinga, Mariëlle %E D'Argenio, Pedro R. %I Springer %K dblp %P 338-354 %T Stochastic Parity Games on Lossy Channel Systems. %U http://dblp.uni-trier.de/db/conf/qest/qest2013.html#AbdullaCMS13 %V 8054 %@ 978-3-642-40195-4

@inproceedings{conf/qest/AbdullaCMS13, added-at = {2017-05-26T00:00:00.000+0200}, author = {Abdulla, Parosh Aziz and Clemente, Lorenzo and Mayr, Richard and Sandberg, Sven}, biburl = {https://www.bibsonomy.org/bibtex/261c8528ebf22b2feda4bd8f4a2246eb4/dblp}, booktitle = {QEST}, crossref = {conf/qest/2013}, editor = {Joshi, Kaustubh R. and Siegle, Markus and Stoelinga, Mariëlle and D'Argenio, Pedro R.}, ee = {https://doi.org/10.1007/978-3-642-40196-1_29}, interhash = {1235562d76d90991d79002b4e2a9cc26}, intrahash = {61c8528ebf22b2feda4bd8f4a2246eb4}, isbn = {978-3-642-40195-4}, keywords = {dblp}, pages = {338-354}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:39:13.000+0200}, title = {Stochastic Parity Games on Lossy Channel Systems.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2013.html#AbdullaCMS13}, volume = 8054, year = 2013 }