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]
Abstract is missing.