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 language	Undefined
Title of host publication	Proceedings of the 5th international conference on formal description techniques FORTE'92
Place of Publication	Perros-Guirec (Frankrijk)
Pages	225-240
Number of pages	16
Publication status	Published - 16 Oct 1992

Keywords

@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 = oct,

day = "16",

language = "Undefined",

pages = "225--240",

booktitle = "Proceedings of the 5th international conference on formal description techniques FORTE'92",

}

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 -