Alessio Lomuscio, Hongyang Qu, Monika Solanki. Towards Verifying Contract Regulated Service Composition. In 2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China. pages 254-261, IEEE Computer Society, 2008. [doi]
Abstract is missing.