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