Home » Publication » 16888

Dettaglio pubblicazione

2013, Proceedings of the 26th International Workshop on Description LogicsCEUR WORKSHOP PROCEEDINGS, Pages 573-586 (volume: 1014)

Dynamic Systems based on Description Logics: Formalization, verification, and synthesis (04c Atto di convegno in rivista)

Diego Calvanese, DE GIACOMO Giuseppe, M. Montali, Patrizi Fabio

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