Matthew L. Hale, Michael T. Gamble, Rose F. Gamble. A Design and Verification Framework for Service Composition in the Cloud. In IEEE Ninth World Congress on Services, SERVICES 2013, Santa Clara, CA, USA, June 28 - July 3, 2013. pages 317-324, IEEE, 2013. [doi]
@inproceedings{HaleGG13,
title = {A Design and Verification Framework for Service Composition in the Cloud},
author = {Matthew L. Hale and Michael T. Gamble and Rose F. Gamble},
year = {2013},
doi = {10.1109/SERVICES.2013.46},
url = {http://dx.doi.org/10.1109/SERVICES.2013.46},
researchr = {https://researchr.org/publication/HaleGG13},
cites = {0},
citedby = {0},
pages = {317-324},
booktitle = {IEEE Ninth World Congress on Services, SERVICES 2013, Santa Clara, CA, USA, June 28 - July 3, 2013},
publisher = {IEEE},
}