%0 Journal Article %1 journals/corr/abs-cs-0511023 %A Baier, Christel %A Bertrand, Nathalie %A Schnoebelen, Philippe %D 2005 %J CoRR %K %T Verifying nondeterministic probabilistic channel systems against $ømega$-regular linear-time properties %U http://dblp.uni-trier.de/db/journals/corr/corr0511.html#abs-cs-0511023 %V abs/cs/0511023

@article{journals/corr/abs-cs-0511023, added-at = {2023-12-13T02:04:31.000+0100}, author = {Baier, Christel and Bertrand, Nathalie and Schnoebelen, Philippe}, biburl = {https://www.bibsonomy.org/bibtex/2e182dde18e294e794052e1bac0410976/admin}, ee = {http://arxiv.org/abs/cs/0511023}, interhash = {7a87156a1ba9d0a205b405e1da3e79ad}, intrahash = {e182dde18e294e794052e1bac0410976}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T02:04:31.000+0100}, title = {Verifying nondeterministic probabilistic channel systems against $\omega$-regular linear-time properties}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0511.html#abs-cs-0511023}, volume = {abs/cs/0511023}, year = 2005 }