EEMCS EPrints Service
|
||||||||||||||||
|
Number of items: 1. 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
This list was generated on Thu May 24 07:09:39 CEST 2012. |
||||||||||||||||