Chunks: Component Verification in CSP||B - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Steve A. Schneider, Helen Treharne, Neil Evans. Chunks: Component Verification in CSP||B. In Judi Romijn, Graeme Smith, Jaco van de Pol, editors, Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings. Volume 3771 of Lecture Notes in Computer Science, pages 89-108, Springer, 2005. [doi]

This author has not been identified. Look up 'Steve A. Schneider' in GoogleThis author has not been identified. Look up 'Helen Treharne' in GoogleThis author has not been identified. Look up 'Neil Evans' in Google

runs on WebDSL