@article{AbdullaClementeMayrSandberg:LMCS:2014,
    Author = {Abdulla, Parosh Aziz and Clemente, Lorenzo and Mayr, Richard and Sandberg, Sven},
    File = {Stochastic Parity Games on Lossy Channel Systems - Abdulla, Clemente, Mayr, Sandberg (1) (0) - a - a - i.pdf},
    Journal = {Log. Methods Comput. Sci.},
    Number = {4},
    Title = {Stochastic Parity Games on Lossy Channel Systems},
    URL = {http://dx.doi.org/10.2168/LMCS-10(4:21)2014},
    Volume = {10},
    Year = {2014},
    bdsk-url-1 = {http://dx.doi.org/10.2168/LMCS-10(4:21)2014},
    bibsource = {dblp computer science bibliography, http://dblp.org},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/AbdullaCMS14},
    date-added = {2016-01-18 13:05:35 +0000},
    date-modified = {2016-01-18 13:05:55 +0000},
    timestamp = {Mon, 02 Feb 2015 17:46:43 +0100},
    doi = {10.2168/LMCS-10(4:21)2014}
}

@article{AbdullaClementeMayrSandberg:LMCS:2014, Author = {Abdulla, Parosh Aziz and Clemente, Lorenzo and Mayr, Richard and Sandberg, Sven}, File = {Stochastic Parity Games on Lossy Channel Systems - Abdulla, Clemente, Mayr, Sandberg (1) (0) - a - a - i.pdf}, Journal = {Log. Methods Comput. Sci.}, Number = {4}, Title = {Stochastic Parity Games on Lossy Channel Systems}, URL = {http://dx.doi.org/10.2168/LMCS-10(4:21)2014}, Volume = {10}, Year = {2014}, bdsk-url-1 = {http://dx.doi.org/10.2168/LMCS-10(4:21)2014}, bibsource = {dblp computer science bibliography, http://dblp.org}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/AbdullaCMS14}, date-added = {2016-01-18 13:05:35 +0000}, date-modified = {2016-01-18 13:05:55 +0000}, timestamp = {Mon, 02 Feb 2015 17:46:43 +0100}, doi = {10.2168/LMCS-10(4:21)2014} }