%0 Journal Article %1 journals/ijcis/GiacomoMR12 %A Giacomo, Giuseppe De %A Masellis, Riccardo De %A Rosati, Riccardo %D 2012 %J Int. J. Cooperative Inf. Syst. %K dblp %N 2 %P 111-140 %T Verification of Conjunctive Artifact-Centric Services. %U http://dblp.uni-trier.de/db/journals/ijcis/ijcis21.html#GiacomoMR12 %V 21

@article{journals/ijcis/GiacomoMR12, added-at = {2023-02-02T00:00:00.000+0100}, author = {Giacomo, Giuseppe De and Masellis, Riccardo De and Rosati, Riccardo}, biburl = {https://www.bibsonomy.org/bibtex/23085e17692d3e8c4f275b83ae28a4066/dblp}, ee = {https://www.wikidata.org/entity/Q58185329}, interhash = {ab2affcf6d1052988fe82a3a8c16e4c0}, intrahash = {3085e17692d3e8c4f275b83ae28a4066}, journal = {Int. J. Cooperative Inf. Syst.}, keywords = {dblp}, number = 2, pages = {111-140}, timestamp = {2024-04-08T10:47:21.000+0200}, title = {Verification of Conjunctive Artifact-Centric Services.}, url = {http://dblp.uni-trier.de/db/journals/ijcis/ijcis21.html#GiacomoMR12}, volume = 21, year = 2012 }