Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
1990
van Eijk, P. and Kremer, H.H.C. and van Sinderen, M.J.
(1990)
On the use of specification styles for automated protocol implementation from LOTOS to C.
In: Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990, 12-15 Jun 1990, Ottawa, Canada.
pp. 157-168.
Elsevier.
ISBN 0-444-88810-1
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||