@incollection{MassonSchnoebelen:2002,
    Author = {Masson, Beno{\^\i}t and Schnoebelen, Ph.},
    BookTitle = {Mathematical Foundations of Computer Science 2002},
    Editor = {Diks, Krzysztof and Rytter, Wojciech},
    File = {On Verifying Fair Lossy Channel Systems - Masson, Schnoebelen (0) (0) - a - a - q.pdf},
    ISBN = {978-3-540-44040-6},
    Keywords = {lossy channel systems},
    Language = {English},
    Pages = {543-555},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {On Verifying Fair Lossy Channel Systems},
    URL = {http://dx.doi.org/10.1007/3-540-45687-2\_45},
    Volume = {2420},
    Year = {2002},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-45687-2\_45},
    date-added = {2014-01-17 20:13:36 +0000},
    date-modified = {2014-01-17 20:13:52 +0000},
    doi = {10.1007/3-540-45687-2_45}
}

@incollection{MassonSchnoebelen:2002, Author = {Masson, Beno{\^\i}t and Schnoebelen, Ph.}, BookTitle = {Mathematical Foundations of Computer Science 2002}, Editor = {Diks, Krzysztof and Rytter, Wojciech}, File = {On Verifying Fair Lossy Channel Systems - Masson, Schnoebelen (0) (0) - a - a - q.pdf}, ISBN = {978-3-540-44040-6}, Keywords = {lossy channel systems}, Language = {English}, Pages = {543-555}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {On Verifying Fair Lossy Channel Systems}, URL = {http://dx.doi.org/10.1007/3-540-45687-2_45}, Volume = {2420}, Year = {2002}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-45687-2_45}, date-added = {2014-01-17 20:13:36 +0000}, date-modified = {2014-01-17 20:13:52 +0000}, doi = {10.1007/3-540-45687-2_45} }