A Model Checking Approach to Verify BPEL4WS Workflows - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Domenico Bianculli, Carlo Ghezzi, Paola Spoletini. A Model Checking Approach to Verify BPEL4WS Workflows. In IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2007, 19-20 June 2007, Newport Beach, California, USA. pages 13-20, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Domenico Bianculli' in GoogleThis author has not been identified. Look up 'Carlo Ghezzi' in GoogleThis author has not been identified. Look up 'Paola Spoletini' in Google

runs on WebDSL