Alessio Lomuscio, Hongyang Qu, Monika Solanki. Towards Verifying Contract Regulated Service Composition. In 2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China. pages 254-261, IEEE Computer Society, 2008. [doi]
@inproceedings{LomuscioQS08:0,
title = {Towards Verifying Contract Regulated Service Composition},
author = {Alessio Lomuscio and Hongyang Qu and Monika Solanki},
year = {2008},
doi = {10.1109/ICWS.2008.115},
url = {http://dx.doi.org/10.1109/ICWS.2008.115},
tags = {contracts, composition},
researchr = {https://researchr.org/publication/LomuscioQS08%3A0},
cites = {0},
citedby = {0},
pages = {254-261},
booktitle = {2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3310-0},
}