Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem. A service-oriented architecture (SOA) framework for choreography verification. In Takayuki Ito, Yanggon Kim, Naoki Fukuta, editors, 14th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2015, Las Vegas, NV, USA, June 28 - July 1, 2015. pages 642-646, IEEE, 2015. [doi]
@inproceedings{RebaiKKHK15,
title = {A service-oriented architecture (SOA) framework for choreography verification},
author = {Sirine Rebai and Hatem Hadj Kacem and Mohamed Karaa and Saúl E. Pomares Hernández and Ahmed Hadj Kacem},
year = {2015},
doi = {10.1109/ICIS.2015.7166671},
url = {http://dx.doi.org/10.1109/ICIS.2015.7166671},
researchr = {https://researchr.org/publication/RebaiKKHK15},
cites = {0},
citedby = {0},
pages = {642-646},
booktitle = {14th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2015, Las Vegas, NV, USA, June 28 - July 1, 2015},
editor = {Takayuki Ito and Yanggon Kim and Naoki Fukuta},
publisher = {IEEE},
isbn = {978-1-4799-8679-8},
}