@article{Abdulla:2005:VPS:1124524.1709548,
    Address = {Duluth, MN, USA},
    Author = {Abdulla, P. A. and Bertrand, N. and Rabinovich, A. and Schnoebelen, Ph.},
    File = {Verification of Probabilistic Systems with Faulty Communication - Abdulla, Bertrand, Rabinovich, Schnoebelen (0) (0) - a - a - y.pdf},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Month = {November},
    Number = {2},
    Pages = {141--165},
    Publisher = {Academic Press, Inc.},
    Title = {Verification of Probabilistic Systems with Faulty Communication},
    URL = {http://dx.doi.org/10.1016/j.ic.2005.05.008},
    Volume = {202},
    Year = {2005},
    acmid = {1709548},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.ic.2005.05.008},
    date-added = {2014-01-19 19:05:34 +0000},
    date-modified = {2014-01-19 19:05:34 +0000},
    file-2 = {Verification of Probabilistic Systems with Faulty Communication - Abdulla, Bertrand, Rabinovich, Schnoebelen (1) (0) - a - a - y.pdf},
    issue_date = {1 November, 2005},
    numpages = {25},
    doi = {10.1016/j.ic.2005.05.008}
}

@article{Abdulla:2005:VPS:1124524.1709548, Address = {Duluth, MN, USA}, Author = {Abdulla, P. A. and Bertrand, N. and Rabinovich, A. and Schnoebelen, Ph.}, File = {Verification of Probabilistic Systems with Faulty Communication - Abdulla, Bertrand, Rabinovich, Schnoebelen (0) (0) - a - a - y.pdf}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Month = {November}, Number = {2}, Pages = {141--165}, Publisher = {Academic Press, Inc.}, Title = {Verification of Probabilistic Systems with Faulty Communication}, URL = {http://dx.doi.org/10.1016/j.ic.2005.05.008}, Volume = {202}, Year = {2005}, acmid = {1709548}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.ic.2005.05.008}, date-added = {2014-01-19 19:05:34 +0000}, date-modified = {2014-01-19 19:05:34 +0000}, file-2 = {Verification of Probabilistic Systems with Faulty Communication - Abdulla, Bertrand, Rabinovich, Schnoebelen (1) (0) - a - a - y.pdf}, issue_date = {1 November, 2005}, numpages = {25}, doi = {10.1016/j.ic.2005.05.008} }