Model-cheking based data retrieval an application to semistructured and temporal data dottorato di ricerca in ingegneria informatica e automatica tesi di dottorato

2002

Interrogazione di informazioni semistrutturate e temporali basata su tecniche di model-cheking
2002
Italiano
Tanca, Letizia
Ghezzi, Carlo
Dovier, Agostino
Politecnico di Milano
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14242/279872
Il codice NBN di questa tesi è URN:NBN:IT:POLIMI-279872