Idir Aït-Sadoune, Yamine Aït Ameur. A Proof Based Approach for Modelling and VerifyingWeb Services Compositions. In 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009. pages 1-10, IEEE Computer Society, 2009. [doi]
@inproceedings{Ait-SadouneA09,
title = {A Proof Based Approach for Modelling and VerifyingWeb Services Compositions},
author = {Idir Aït-Sadoune and Yamine Aït Ameur},
year = {2009},
doi = {10.1109/ICECCS.2009.48},
url = {http://dx.doi.org/10.1109/ICECCS.2009.48},
tags = {rule-based, composition, systematic-approach},
researchr = {https://researchr.org/publication/Ait-SadouneA09},
cites = {0},
citedby = {0},
pages = {1-10},
booktitle = {14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009},
publisher = {IEEE Computer Society},
}