Home » Publication » 16894

Dettaglio pubblicazione

2013, Verification and synthesis in description logic based dynamic systems, Pages -

Best paper award (14a Premio o riconoscimento scientifico)

Diego Calvanese, DE GIACOMO Giuseppe, Marco Montali, Patrizi Fabio

keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma