EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Vissers, C.A.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 4.

1995

Turner, K.J. and van Sinderen, M.J. (1995) LOTOS specification style for OSI. In: LOTOShere - Software development using LOTOS - Results of the LOTOShere project. Kluwer Academic Publishers, Dordrecht, pp. 137-159. ISBN 0-7923-9529-8

1992

Turner, K.J. and van Sinderen, M.J. (1992) LOTOS specification style for OSI. In: Proceedings of the Third LOTOShere Workshop, 14-16 Sep 1992, Pisa, Italy. CNUCE. ISBN not assigned

1989

van Sinderen, M.J. (1989) Formal description of the OSI session layer: session service. In: The formal description technique LOTOS: Results of the Esprit/Sedos project. North-Holland, Amsterdam, pp. 117-151. ISBN 0444872671
Ajubi, I. and Scollo, G. and van Sinderen, M.J. (1989) Formal description of the OSI session layer: introduction. In: The formal description technique LOTOS: Results of the Esprit/Sedos project. North-Holland, Amsterdam, pp. 89-96. ISBN 0444872671

This list was generated on Fri May 26 07:47:59 CEST 2017.