Verification of Human Driven Data-Centric Dynamic Systems. Hariri, B. B., Calvanese, D., De Giacomo, G., Deutsch, A., & Montali, M. In 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014, 2014. Paper bibtex @inproceedings{DBLP:conf/aaaiss/HaririCGDM14,
author = {Babak Bagheri Hariri and
Diego Calvanese and
Giuseppe {De Giacomo} and
Alin Deutsch and
Marco Montali},
title = {Verification of Human Driven Data-Centric Dynamic Systems},
booktitle = {2014 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
USA, March 24-26, 2014},
year = {2014},
crossref = {DBLP:conf/aaaiss/2014},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7768},
timestamp = {Wed, 14 Nov 2018 14:23:12 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/HaririCGDM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"KRLbK84TrZsw5Dnhd","bibbaseid":"hariri-calvanese-degiacomo-deutsch-montali-verificationofhumandrivendatacentricdynamicsystems-2014","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 Human Driven Data-Centric Dynamic Systems","booktitle":"2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014","year":"2014","crossref":"DBLP:conf/aaaiss/2014","url":"http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7768","timestamp":"Wed, 14 Nov 2018 14:23:12 +0100","biburl":"https://dblp.org/rec/conf/aaaiss/HaririCGDM14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aaaiss/HaririCGDM14,\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 Human Driven Data-Centric Dynamic Systems},\n booktitle = {2014 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,\n USA, March 24-26, 2014},\n year = {2014},\n crossref = {DBLP:conf/aaaiss/2014},\n url = {http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7768},\n timestamp = {Wed, 14 Nov 2018 14:23:12 +0100},\n biburl = {https://dblp.org/rec/conf/aaaiss/HaririCGDM14.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/aaaiss/HaririCGDM14","id":"DBLP:conf/aaaiss/HaririCGDM14","bibbaseid":"hariri-calvanese-degiacomo-deutsch-montali-verificationofhumandrivendatacentricdynamicsystems-2014","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7768"},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/whitemech/whitemech.github.io/master/whitemech-publications.bib","creationDate":"2020-03-01T13:35:45.373Z","downloads":0,"keywords":[],"search_terms":["verification","human","driven","data","centric","dynamic","systems","hariri","calvanese","de giacomo","deutsch","montali"],"title":"Verification of Human Driven Data-Centric Dynamic Systems","year":2014,"dataSources":["a7J9cXfn5aGm5Rka2"]}