@incollection{Schnoebelen:2001,
    Author = {Schnoebelen, Ph.},
    BookTitle = {Theoretical Aspects of Computer Software},
    Editor = {Kobayashi, Naoki and Pierce, Benjamin C.},
    ISBN = {978-3-540-42736-0},
    Language = {English},
    Pages = {385-399},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems},
    URL = {http://dx.doi.org/10.1007/3-540-45500-0\_19},
    Volume = {2215},
    Year = {2001},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-45500-0\_19},
    date-added = {2014-01-17 19:53:34 +0000},
    date-modified = {2014-03-29 10:41:53 +0000},
    doi = {10.1007/3-540-45500-0_19}
}

@incollection{Schnoebelen:2001, Author = {Schnoebelen, Ph.}, BookTitle = {Theoretical Aspects of Computer Software}, Editor = {Kobayashi, Naoki and Pierce, Benjamin C.}, ISBN = {978-3-540-42736-0}, Language = {English}, Pages = {385-399}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems}, URL = {http://dx.doi.org/10.1007/3-540-45500-0_19}, Volume = {2215}, Year = {2001}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-45500-0_19}, date-added = {2014-01-17 19:53:34 +0000}, date-modified = {2014-03-29 10:41:53 +0000}, doi = {10.1007/3-540-45500-0_19} }