Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 08:35:36 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||