Iman Saleh, Gregory Kulczycki, M. Brian Blake. Formal Specification and Verification of Data-Centric Service Composition. In IEEE International Conference on Web Services, ICWS 2010, Miami, Florida, USA,July 5-10, 2010. pages 131-138, IEEE Computer Society, 2010. [doi]
@inproceedings{SalehKB10, title = {Formal Specification and Verification of Data-Centric Service Composition}, author = {Iman Saleh and Gregory Kulczycki and M. Brian Blake}, year = {2010}, doi = {10.1109/ICWS.2010.80}, url = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2010.80}, tags = {composition, data-flow}, researchr = {https://researchr.org/publication/SalehKB10}, cites = {0}, citedby = {0}, pages = {131-138}, booktitle = {IEEE International Conference on Web Services, ICWS 2010, Miami, Florida, USA,July 5-10, 2010}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-4128-0}, }