%0 Conference Paper %1 conf/icws/LomuscioQS08 %A Lomuscio, Alessio %A Qu, Hongyang %A Solanki, Monika %B ICWS %D 2008 %I IEEE Computer Society %K %P 254-261 %T Towards Verifying Contract Regulated Service Composition. %U http://dblp.uni-trier.de/db/conf/icws/icws2008.html#LomuscioQS08 %@ 978-0-7695-3310-0

@inproceedings{conf/icws/LomuscioQS08, added-at = {2023-12-12T18:36:58.000+0100}, author = {Lomuscio, Alessio and Qu, Hongyang and Solanki, Monika}, biburl = {https://www.bibsonomy.org/bibtex/22a6be8ddf1fe61e00959b76b1d9b4af0/admin}, booktitle = {ICWS}, crossref = {conf/icws/2008}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2008.115}, interhash = {14d8f4a6800c7dde1377cce13c9a1254}, intrahash = {2a6be8ddf1fe61e00959b76b1d9b4af0}, isbn = {978-0-7695-3310-0}, keywords = {}, pages = {254-261}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T18:36:58.000+0100}, title = {Towards Verifying Contract Regulated Service Composition.}, url = {http://dblp.uni-trier.de/db/conf/icws/icws2008.html#LomuscioQS08}, year = 2008 }