Coalgebraic Component Specification and Verification in RSL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sun Meng, Bernhard K. Aichernig, Zhang Naixiao. Coalgebraic Component Specification and Verification in RSL. In Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), 5-8 December 2005, Dalian, China. pages 424-426, IEEE Computer Society, 2005. [doi]

This author has not been identified. Look up 'Sun Meng' in GoogleThis author has not been identified. Look up 'Bernhard K. Aichernig' in GoogleThis author has not been identified. Look up 'Zhang Naixiao' in Google

runs on WebDSL