Reasoning on UML class diagrams is EXPTIME-hard / Daniela, Berardi; Diego, Calvanese; DE GIACOMO, Giuseppe. - (2003). (Intervento presentato al convegno 2003 Description Logic Workshop (DL 2003) tenutosi a Rome, Italy nel September 5-7, 2003).
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.