Formal description of ISO 8072 (transport service) in LOTOS.

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

    Research output: Book/ReportReportProfessional

    Original languageUndefined
    Place of PublicationGeneve
    PublisherISO/IEC Technical report 10023 1st edition
    Number of pages28
    Publication statusPublished - 1992

    Keywords

    • METIS-119087

    Cite this

    Kremer, H. H. C., van de Lagemaat, J., Rennoch, A., & Scollo, G. (1992). Formal description of ISO 8072 (transport service) in LOTOS. Geneve: ISO/IEC Technical report 10023 1st edition.
    Kremer, H.H.C. ; van de Lagemaat, J. ; Rennoch, A. ; Scollo, Giuseppe. / Formal description of ISO 8072 (transport service) in LOTOS. Geneve : ISO/IEC Technical report 10023 1st edition, 1992. 28 p.
    @book{577ab6013ce44b538a5aa7b2a28a064e,
    title = "Formal description of ISO 8072 (transport service) in LOTOS.",
    keywords = "METIS-119087",
    author = "H.H.C. Kremer and {van de Lagemaat}, J. and A. Rennoch and Giuseppe Scollo",
    year = "1992",
    language = "Undefined",
    publisher = "ISO/IEC Technical report 10023 1st edition",

    }

    Kremer, HHC, van de Lagemaat, J, Rennoch, A & Scollo, G 1992, Formal description of ISO 8072 (transport service) in LOTOS. ISO/IEC Technical report 10023 1st edition, Geneve.

    Formal description of ISO 8072 (transport service) in LOTOS. / Kremer, H.H.C.; van de Lagemaat, J.; Rennoch, A.; Scollo, Giuseppe.

    Geneve : ISO/IEC Technical report 10023 1st edition, 1992. 28 p.

    Research output: Book/ReportReportProfessional

    TY - BOOK

    T1 - Formal description of ISO 8072 (transport service) in LOTOS.

    AU - Kremer, H.H.C.

    AU - van de Lagemaat, J.

    AU - Rennoch, A.

    AU - Scollo, Giuseppe

    PY - 1992

    Y1 - 1992

    KW - METIS-119087

    M3 - Report

    BT - Formal description of ISO 8072 (transport service) in LOTOS.

    PB - ISO/IEC Technical report 10023 1st edition

    CY - Geneve

    ER -

    Kremer HHC, van de Lagemaat J, Rennoch A, Scollo G. Formal description of ISO 8072 (transport service) in LOTOS. Geneve: ISO/IEC Technical report 10023 1st edition, 1992. 28 p.