Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
1989
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
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||