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)
    Pages225-240
    Number of pages16
    Publication statusPublished - 16 Oct 1992

    Keywords

    • METIS-119487

    Cite this

    Kremer, H. H. C., van de Lagemaat, J., Rennoch, A., & Scollo, G. (1992). Protocol design using LOTOS: a critical synthesis of a standardization experience. In Proceedings of the 5th international conference on formal description techniques FORTE'92 (pp. 225-240). Perros-Guirec (Frankrijk).