Ana Vazquez, Mohamed El-Menshawy, Jamal Bentahar. Automatic Transformation of Cloud Computing Service Composition to Verifiable Models. In 3rd International Conference on Future Internet of Things and Cloud, FiCloud 2015, Rome, Italy, August 24-26, 2015. pages 173-180, IEEE, 2015. [doi]
@inproceedings{VazquezEB15,
title = {Automatic Transformation of Cloud Computing Service Composition to Verifiable Models},
author = {Ana Vazquez and Mohamed El-Menshawy and Jamal Bentahar},
year = {2015},
doi = {10.1109/FiCloud.2015.117},
url = {http://dx.doi.org/10.1109/FiCloud.2015.117},
researchr = {https://researchr.org/publication/VazquezEB15},
cites = {0},
citedby = {0},
pages = {173-180},
booktitle = {3rd International Conference on Future Internet of Things and Cloud, FiCloud 2015, Rome, Italy, August 24-26, 2015},
publisher = {IEEE},
isbn = {978-1-4673-8103-1},
}