@article{BaierBertrandSchnoebelen:TCL:2007,
    Author = {Baier, Christel and Bertrand, Nathalie and Schnoebelen, {\relax Ph}ilippe},
    Journal = {ACM Trans. Comput. Logic},
    Keywords = {lossy channel systems},
    Month = {December},
    Number = {1},
    Publisher = {ACM Press},
    Title = {Verifying nondeterministic probabilistic channel systems against {{\(\omega\)}}-regular linear-time properties},
    URL = {http://arxiv.org/abs/cs.LO/0511023},
    Volume = {9},
    Year = {2007},
    bdsk-url-1 = {http://arxiv.org/abs/cs.LO/0511023},
    bdsk-url-2 = {http://dx.doi.org/10.1145/1297658.1297663},
    date-added = {2013-03-26 17:37:11 +0000},
    date-modified = {2019-03-08 19:03:58 +0100},
    doi = {10.1145/1297658.1297663}
}

@article{BaierBertrandSchnoebelen:TCL:2007, Author = {Baier, Christel and Bertrand, Nathalie and Schnoebelen, {\relax Ph}ilippe}, Journal = {ACM Trans. Comput. Logic}, Keywords = {lossy channel systems}, Month = {December}, Number = {1}, Publisher = {ACM Press}, Title = {Verifying nondeterministic probabilistic channel systems against {{(\omega)}}-regular linear-time properties}, URL = {http://arxiv.org/abs/cs.LO/0511023}, Volume = {9}, Year = {2007}, bdsk-url-1 = {http://arxiv.org/abs/cs.LO/0511023}, bdsk-url-2 = {http://dx.doi.org/10.1145/1297658.1297663}, date-added = {2013-03-26 17:37:11 +0000}, date-modified = {2019-03-08 19:03:58 +0100}, doi = {10.1145/1297658.1297663} }