@inproceedings{DBLP:conf/pods/HaririCGDM13,
  author    = {Babak Bagheri Hariri and
               Diego Calvanese and
               Giuseppe {De Giacomo} and
               Alin Deutsch and
               Marco Montali},
  title     = {Verification of relational data-centric dynamic systems with external
               services},
  booktitle = {Proceedings of the 32nd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
               Principles of Database Systems, {PODS} 2013, New York, NY, {USA} -
               June 22 - 27, 2013},
  pages     = {163--174},
  year      = {2013},
  crossref  = {DBLP:conf/pods/2013},
  url       = {https://doi.org/10.1145/2463664.2465221},
  doi       = {10.1145/2463664.2465221},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/pods/HaririCGDM13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"MaaAWtXHiJEsrCAMn","bibbaseid":"hariri-calvanese-degiacomo-deutsch-montali-verificationofrelationaldatacentricdynamicsystemswithexternalservices-2013","authorIDs":[],"author_short":["Hariri, B. B.","Calvanese, D.","De Giacomo, G.","Deutsch, A.","Montali, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Babak","Bagheri"],"propositions":[],"lastnames":["Hariri"],"suffixes":[]},{"firstnames":["Diego"],"propositions":[],"lastnames":["Calvanese"],"suffixes":[]},{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["De Giacomo"],"suffixes":[]},{"firstnames":["Alin"],"propositions":[],"lastnames":["Deutsch"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Montali"],"suffixes":[]}],"title":"Verification of relational data-centric dynamic systems with external services","booktitle":"Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013, New York, NY, USA - June 22 - 27, 2013","pages":"163–174","year":"2013","crossref":"DBLP:conf/pods/2013","url":"https://doi.org/10.1145/2463664.2465221","doi":"10.1145/2463664.2465221","timestamp":"Sun, 02 Jun 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/pods/HaririCGDM13.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/pods/HaririCGDM13,\n author = {Babak Bagheri Hariri and\n Diego Calvanese and\n Giuseppe {De Giacomo} and\n Alin Deutsch and\n Marco Montali},\n title = {Verification of relational data-centric dynamic systems with external\n services},\n booktitle = {Proceedings of the 32nd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on\n Principles of Database Systems, {PODS} 2013, New York, NY, {USA} -\n June 22 - 27, 2013},\n pages = {163--174},\n year = {2013},\n crossref = {DBLP:conf/pods/2013},\n url = {https://doi.org/10.1145/2463664.2465221},\n doi = {10.1145/2463664.2465221},\n timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/pods/HaririCGDM13.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hariri, B. B.","Calvanese, D.","De Giacomo, G.","Deutsch, A.","Montali, M."],"key":"DBLP:conf/pods/HaririCGDM13","id":"DBLP:conf/pods/HaririCGDM13","bibbaseid":"hariri-calvanese-degiacomo-deutsch-montali-verificationofrelationaldatacentricdynamicsystemswithexternalservices-2013","role":"author","urls":{"Paper":"https://doi.org/10.1145/2463664.2465221"},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/whitemech/whitemech.github.io/master/whitemech-publications.bib","creationDate":"2020-03-01T13:35:45.382Z","downloads":0,"keywords":[],"search_terms":["verification","relational","data","centric","dynamic","systems","external","services","hariri","calvanese","de giacomo","deutsch","montali"],"title":"Verification of relational data-centric dynamic systems with external services","year":2013,"dataSources":["a7J9cXfn5aGm5Rka2"]}