@article{DBLP:journals/ijcis/GiacomoMR12,
  author    = {Giuseppe {De Giacomo} and
               Riccardo {De Masellis} and
               Riccardo Rosati},
  title     = {Verification of Conjunctive Artifact-Centric Services},
  journal   = {Int. J. Cooperative Inf. Syst.},
  volume    = {21},
  number    = {2},
  pages     = {111--140},
  year      = {2012},
  url       = {https://doi.org/10.1142/S0218843012500025},
  doi       = {10.1142/S0218843012500025},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ijcis/GiacomoMR12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Zjc2JMrwkW2TndcSn","bibbaseid":"degiacomo-demasellis-rosati-verificationofconjunctiveartifactcentricservices-2012","authorIDs":[],"author_short":["De Giacomo, G.","De Masellis, R.","Rosati, R."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["De Giacomo"],"suffixes":[]},{"firstnames":["Riccardo"],"propositions":[],"lastnames":["De Masellis"],"suffixes":[]},{"firstnames":["Riccardo"],"propositions":[],"lastnames":["Rosati"],"suffixes":[]}],"title":"Verification of Conjunctive Artifact-Centric Services","journal":"Int. J. Cooperative Inf. Syst.","volume":"21","number":"2","pages":"111–140","year":"2012","url":"https://doi.org/10.1142/S0218843012500025","doi":"10.1142/S0218843012500025","timestamp":"Mon, 16 Sep 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/ijcis/GiacomoMR12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/ijcis/GiacomoMR12,\n author = {Giuseppe {De Giacomo} and\n Riccardo {De Masellis} and\n Riccardo Rosati},\n title = {Verification of Conjunctive Artifact-Centric Services},\n journal = {Int. J. Cooperative Inf. Syst.},\n volume = {21},\n number = {2},\n pages = {111--140},\n year = {2012},\n url = {https://doi.org/10.1142/S0218843012500025},\n doi = {10.1142/S0218843012500025},\n timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/ijcis/GiacomoMR12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["De Giacomo, G.","De Masellis, R.","Rosati, R."],"key":"DBLP:journals/ijcis/GiacomoMR12","id":"DBLP:journals/ijcis/GiacomoMR12","bibbaseid":"degiacomo-demasellis-rosati-verificationofconjunctiveartifactcentricservices-2012","role":"author","urls":{"Paper":"https://doi.org/10.1142/S0218843012500025"},"downloads":0},"bibtype":"article","biburl":"https://raw.githubusercontent.com/whitemech/whitemech.github.io/master/whitemech-publications.bib","creationDate":"2020-03-01T13:35:45.383Z","downloads":0,"keywords":[],"search_terms":["verification","conjunctive","artifact","centric","services","de giacomo","de masellis","rosati"],"title":"Verification of Conjunctive Artifact-Centric Services","year":2012,"dataSources":["a7J9cXfn5aGm5Rka2"]}