Verification of Human Driven Data-Centric Dynamic Systems. Hariri, B. B., Calvanese, D., Giacomo, G. D., Deutsch, A., & Montali, M. In 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014, 2014. AAAI Press. 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},
publisher = {{AAAI} Press},
year = {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":"4YCrTEWcvmZkQSqzp","bibbaseid":"hariri-calvanese-giacomo-deutsch-montali-verificationofhumandrivendatacentricdynamicsystems-2014","author_short":["Hariri, B. B.","Calvanese, D.","Giacomo, G. D.","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","De"],"propositions":[],"lastnames":["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","publisher":"AAAI Press","year":"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 publisher = {{AAAI} Press},\n year = {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.","Giacomo, G. D.","Deutsch, A.","Montali, M."],"key":"DBLP:conf/aaaiss/HaririCGDM14","id":"DBLP:conf/aaaiss/HaririCGDM14","bibbaseid":"hariri-calvanese-giacomo-deutsch-montali-verificationofhumandrivendatacentricdynamicsystems-2014","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7768"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/g/GDGiacomo.bib","dataSources":["nYZATui8QfoZTWDxh"],"keywords":[],"search_terms":["verification","human","driven","data","centric","dynamic","systems","hariri","calvanese","giacomo","deutsch","montali"],"title":"Verification of Human Driven Data-Centric Dynamic Systems","year":2014}