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.
Verification of Human Driven Data-Centric Dynamic Systems [link]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