Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
1989
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
van Sinderen, M.J. and Ajubi, I. and Caneschi, F.
(1989)
The application of LOTOS for the formal description of the ISO session layer.
In: Proceedings of the First International Conference on Formal Description Techniques, 6-9 Sep 1988, Stirling, Scotland, UK.
pp. 263-277.
Elsevier.
ISBN 0-444-87126-8
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||