Protocol design using LOTOS: A critical synthesis of a standardization experience

H.H.C. Kremer, J. van de Lagemaat, A. Rennoch, G.S. Scollo

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

    Original languageEnglish
    Title of host publicationFORTE'92
    Subtitle of host publicationProceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
    Place of PublicationAmsterdam
    PublisherNorth Holland
    ISBN (Print)978-0-444-89282-9
    Publication statusPublished - 16 Oct 1992

    Cite this