Titolo: Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data

QUINTARELLI ELISA

"Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data"
Lecture notes in computer science ; 2917
Springer
ISBN 3540209719

Anno di pubblicazione: 2004