A specification of the OSI transport service in LOTOS

E. Brinksma; G. Karjoth

A specification of the OSI transport service in LOTOS

E. Brinksma, G. Karjoth

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

Original language	English
Title of host publication	Protocol Specification, Testing and Verification IV (Proceedings IFIP WG6.1 4th International Workshop, Skytop Lodge PA, USA, June 11-14, 1984)
Editors	Y. Yemini, R.E. Strom, S. Yemini
Publisher	North-Holland Publishing Company
Pages	227-251
ISBN (Print)	0-444-87676-6
Publication status	Published - 1985

Cite this

@inproceedings{07f1979293534cc7951d1fc93fa85957,

title = "A specification of the OSI transport service in LOTOS",

author = "E. Brinksma and G. Karjoth",

year = "1985",

language = "English",

isbn = "0-444-87676-6",

pages = "227--251",

editor = "Y. Yemini and R.E. Strom and S. Yemini",

booktitle = "Protocol Specification, Testing and Verification IV (Proceedings IFIP WG6.1 4th International Workshop, Skytop Lodge PA, USA, June 11-14, 1984)",

publisher = "North-Holland Publishing Company",

address = "Netherlands",

}

A specification of the OSI transport service in LOTOS. / Brinksma, E.; Karjoth, G.
Protocol Specification, Testing and Verification IV (Proceedings IFIP WG6.1 4th International Workshop, Skytop Lodge PA, USA, June 11-14, 1984). ed. / Y. Yemini; R.E. Strom; S. Yemini. North-Holland Publishing Company, 1985. p. 227-251.

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

TY - GEN

T1 - A specification of the OSI transport service in LOTOS

AU - Brinksma, E.

AU - Karjoth, G.

PY - 1985

Y1 - 1985

M3 - Conference contribution

SN - 0-444-87676-6

SP - 227

EP - 251

BT - Protocol Specification, Testing and Verification IV (Proceedings IFIP WG6.1 4th International Workshop, Skytop Lodge PA, USA, June 11-14, 1984)

A2 - Yemini, Y.

A2 - Strom, R.E.

A2 - Yemini, S.

PB - North-Holland Publishing Company

ER -