Ehtesham Zahoor, Olivier Perrin, Claude Godart. Web Services Composition Verification Using Satisfiability Solving. In Carole A. Goble, Peter P. Chen, Jia Zhang, editors, 2012 IEEE 19th International Conference on Web Services, Honolulu, HI, USA, June 24-29, 2012. pages 242-249, IEEE, 2012. [doi]
Abstract is missing.