A specification of the OSI transport service in LOTOS

E. Brinksma, G. Karjoth

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    7 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProtocol Specification, Testing and Verification IV (Proceedings IFIP WG6.1 4th International Workshop, Skytop Lodge PA, USA, June 11-14, 1984)
    EditorsY. Yemini, R.E. Strom, S. Yemini
    PublisherNorth-Holland Publishing Company
    ISBN (Print)0-444-87676-6
    Publication statusPublished - 1985

    Cite this