Towards Model-based Verification of BPEL with Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Honghua Cao, Shi Ying, Dehui Du. Towards Model-based Verification of BPEL with Model Checking. In Sixth International Conference on Computer and Information Technology (CIT 2006), 20-22 September 2006, Seoul, Korea. pages 190, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Honghua Cao' in GoogleThis author has not been identified. Look up 'Shi Ying' in GoogleThis author has not been identified. Look up 'Dehui Du' in Google

runs on WebDSL