%0 Journal Article %1 journals/eswa/BatainehBED17 %A Bataineh, Ahmed Saleh %A Bentahar, Jamal %A El-Menshawy, Mohamed %A Dssouli, Rachida %D 2017 %J Expert Syst. Appl. %K dblp %P 151-184 %T Specifying and verifying contract-driven service compositions using commitments and model checking. %U http://dblp.uni-trier.de/db/journals/eswa/eswa74.html#BatainehBED17 %V 74

@article{journals/eswa/BatainehBED17, added-at = {2024-02-05T00:00:00.000+0100}, author = {Bataineh, Ahmed Saleh and Bentahar, Jamal and El-Menshawy, Mohamed and Dssouli, Rachida}, biburl = {https://www.bibsonomy.org/bibtex/2fd96cc72a2789e2b8e37b8d44800d6f2/dblp}, ee = {https://www.wikidata.org/entity/Q56504996}, interhash = {8ac08d92889462c9a724adf5e4ded9d7}, intrahash = {fd96cc72a2789e2b8e37b8d44800d6f2}, journal = {Expert Syst. Appl.}, keywords = {dblp}, pages = {151-184}, timestamp = {2024-04-08T10:10:02.000+0200}, title = {Specifying and verifying contract-driven service compositions using commitments and model checking.}, url = {http://dblp.uni-trier.de/db/journals/eswa/eswa74.html#BatainehBED17}, volume = 74, year = 2017 }