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

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

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

    Original languageUndefined
    Title of host publicationProceedings of the 5th international conference on formal description techniques FORTE'92
    Place of PublicationPerros-Guirec (Frankrijk)
    Number of pages16
    Publication statusPublished - 16 Oct 1992


    • METIS-119487

    Cite this