Formal Description of a Transport Protocol in LOTOS

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

Research output: Other contribution › Other research output

Keywords

@misc{283b120f5e0748ceb639a1f16c263c24,

title = "Formal Description of a Transport Protocol in LOTOS",

keywords = "METIS-123058",

author = "H.H.C. Kremer and \{van de Lagemaat\}, J. and Giuseppe Scollo",

note = "(54 p.) ",

year = "1990",

month = jan,

day = "31",

language = "English",

publisher = "ISO/IEC-JTC1/SC6/WG4 Ad-hoc Group",

type = "Other",

}