TY  - RPRT
TI  - Stochastic Parity Games on Lossy Channel Systems
AU  - Parosh Aziz Abdulla
AU  - Lorenzo Clemente
AU  - Richard Mayr
AU  - Sven Sandberg
PY  - 2013
UR  - https://arxiv.org/abs/1305.5228
ID  - 1305.5228
ER  -