Dettaglio pubblicazione
2014, AAAI Spring Symposium - Technical Report, Pages 80-85 (volume: SS-14-02)
Verification of human driven data-centric dynamic systems (04b Atto di convegno in volume)
Bagheri Hariri Babak, Calvanese Diego, Montali Marco, DE GIACOMO Giuseppe, Deutsch Alin
ISBN: 9781577356554
keywords