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 proceeding › Conference contribution › Academic › peer-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).
    Kremer, H.H.C. ; van de Lagemaat, J. ; Rennoch, A. ; Scollo, Giuseppe. / Protocol design using LOTOS: a critical synthesis of a standardization experience. Proceedings of the 5th international conference on formal description techniques FORTE'92. Perros-Guirec (Frankrijk), 1992. pp. 225-240
    @inproceedings{43a1c8771ef84e35888fb1f97c173755,
    title = "Protocol design using LOTOS: a critical synthesis of a standardization experience.",
    keywords = "METIS-119487",
    author = "H.H.C. Kremer and {van de Lagemaat}, J. and A. Rennoch and Giuseppe Scollo",
    year = "1992",
    month = "10",
    day = "16",
    language = "Undefined",
    pages = "225--240",
    booktitle = "Proceedings of the 5th international conference on formal description techniques FORTE'92",

    }

    Kremer, HHC, 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. Perros-Guirec (Frankrijk), pp. 225-240.

    Protocol design using LOTOS: a critical synthesis of a standardization experience. / Kremer, H.H.C.; van de Lagemaat, J.; Rennoch, A.; Scollo, Giuseppe.

    Proceedings of the 5th international conference on formal description techniques FORTE'92. Perros-Guirec (Frankrijk), 1992. p. 225-240.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    TY - GEN

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

    AU - Kremer, H.H.C.

    AU - van de Lagemaat, J.

    AU - Rennoch, A.

    AU - Scollo, Giuseppe

    PY - 1992/10/16

    Y1 - 1992/10/16

    KW - METIS-119487

    M3 - Conference contribution

    SP - 225

    EP - 240

    BT - Proceedings of the 5th international conference on formal description techniques FORTE'92

    CY - Perros-Guirec (Frankrijk)

    ER -

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