Home » Publication » 14346

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
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma