Specification, Verification and Implementation of Business Processes Using CSP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Moritz Kleine, Thomas Göthel. Specification, Verification and Implementation of Business Processes Using CSP. In Jing Liu, Doron Peled, Bow-Yaw Wang, Farn Wang, editors, 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010. pages 145-154, IEEE Computer Society, 2010. [doi]

This author has not been identified. Look up 'Moritz Kleine' in GoogleThis author has not been identified. Look up 'Thomas Göthel' in Google

runs on WebDSL