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.