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]
@inproceedings{Choukair05, title = {Correctness Proof Obligation for CoCTelS Telecom Services Composition Model}, author = {Zièd Choukair}, year = {2005}, doi = {10.1109/AINA.2005.144}, url = {http://doi.ieeecomputersociety.org/10.1109/AINA.2005.144}, tags = {composition}, researchr = {https://researchr.org/publication/Choukair05}, cites = {0}, citedby = {0}, pages = {893-900}, booktitle = {19th International Conference on Advanced Information Networking and Applications (AINA 2005), 28-30 March 2005, Taipei, Taiwan}, publisher = {IEEE Computer Society}, isbn = {0-7695-2249-1}, }