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