Schnoebelen, 2002

Summary

Ph. Schnoebelen (2002) Verifying Lossy Channel Systems has Nonprimitive Recursive Complexity (URL)

BibTeX entry

@ARTICLE { phs-ipl2002,
    AUTHOR = { {\relax Ph}. Schnoebelen },
    TITLE = { Verifying Lossy Channel Systems has Nonprimitive Recursive Complexity },
    JOURNAL = { },
    VOLUME = { 83 },
    NUMBER = { 5 },
    PAGES = { 251--261 },
    YEAR = { 2002 },
    DOI = { 10.1016/S0020-0190(01)00337-4 },
}