Pubblicazioni di De Giacomo Giuseppe
2014
Bagheri Hariri Babak, Calvanese Diego, Montali Marco, DE GIACOMO Giuseppe, Deutsch Alin
Verification of human driven data-centric dynamic systems. AAAI Spring Symposium - Technical Report 2014: 80-85