TY  - RPRT
TI  - Verifying nondeterministic probabilistic channel systems against $ω$-regular linear-time properties
AU  - Christel Baier
AU  - Nathalie Bertrand
AU  - Philippe Schnoebelen
PY  - 2006
DO  - 10.1145/1297658.1297663
UR  - https://arxiv.org/abs/cs/0511023
ID  - cs/0511023
ER  -