Specification and Verification of Networks Protocols Using - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ana R. Cavalli, Luis Fariñas del Cerro. Specification and Verification of Networks Protocols Using. In Manfred Paul, Bernard Robinet, editors, International Symposium on Programming, 6th Colloquium, Toulouse, April 17-19, 1984, Proceedings. Volume 167 of Lecture Notes in Computer Science, pages 59-73, Springer, 1984.

This author has not been identified. Look up 'Ana R. Cavalli' in GoogleThis author has not been identified. Look up 'Luis Fariñas del Cerro' in Google

runs on WebDSL