Zièd Choukair. Correctness Proof Obligation for CoCTelS Telecom Services Composition Model. In 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 28-30 March 2005, Taipei, Taiwan. pages 893-900, IEEE Computer Society, 2005. [doi]