An interactive system for the analysis of communicating processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Günter Karjoth. An interactive system for the analysis of communicating processes. In Michel Diaz, editor, Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985. pages 91-102, North-Holland, 1985.

This author has not been identified. Look up 'Günter Karjoth' in Google

runs on WebDSL