@article{Schnoebelen:2002:VLC:608042.608045,
    Address = {Amsterdam, The Netherlands, The Netherlands},
    Author = {Schnoebelen, Ph.},
    File = {Verifying Lossy Channel Systems Has Nonprimitive Recursive Complexity - Schnoebelen (0) (0) - a - a - b.pdf},
    ISSN = {0020-0190},
    Journal = {Inf. Process. Lett.},
    Keywords = {lossy channel systems},
    Month = {September},
    Number = {5},
    Pages = {251--261},
    Publisher = {Elsevier North-Holland, Inc.},
    Title = {Verifying Lossy Channel Systems Has Nonprimitive Recursive Complexity},
    URL = {http://dx.doi.org/10.1016/S0020-0190(01)00337-4},
    Volume = {83},
    Year = {2002},
    acmid = {608045},
    bdsk-url-1 = {http://dx.doi.org/10.1016/S0020-0190(01)00337-4},
    date-added = {2013-12-03 12:02:02 +0000},
    date-modified = {2013-12-03 12:02:55 +0000},
    issue_date = {15 September 2002},
    numpages = {11},
    doi = {10.1016/S0020-0190(01)00337-4}
}

@article{Schnoebelen:2002:VLC:608042.608045, Address = {Amsterdam, The Netherlands, The Netherlands}, Author = {Schnoebelen, Ph.}, File = {Verifying Lossy Channel Systems Has Nonprimitive Recursive Complexity - Schnoebelen (0) (0) - a - a - b.pdf}, ISSN = {0020-0190}, Journal = {Inf. Process. Lett.}, Keywords = {lossy channel systems}, Month = {September}, Number = {5}, Pages = {251--261}, Publisher = {Elsevier North-Holland, Inc.}, Title = {Verifying Lossy Channel Systems Has Nonprimitive Recursive Complexity}, URL = {http://dx.doi.org/10.1016/S0020-0190(01)00337-4}, Volume = {83}, Year = {2002}, acmid = {608045}, bdsk-url-1 = {http://dx.doi.org/10.1016/S0020-0190(01)00337-4}, date-added = {2013-12-03 12:02:02 +0000}, date-modified = {2013-12-03 12:02:55 +0000}, issue_date = {15 September 2002}, numpages = {11}, doi = {10.1016/S0020-0190(01)00337-4} }