On the use of specification styles for automated protocol implementation from LOTOS to C - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter van Eijk, Harro Kremer, Marten van Sinderen. On the use of specification styles for automated protocol implementation from LOTOS to C. In Luigi Logrippo, Robert L. Probert, Hasan Ural, editors, Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990. pages 157-168, North-Holland, 1990.

This author has not been identified. Look up 'Peter van Eijk' in GoogleThis author has not been identified. Look up 'Harro Kremer' in GoogleThis author has not been identified. It may be one of the following persons:

Marten van Sinderen

Look up 'Marten van Sinderen' in Google

runs on WebDSL