01161nam--2200373---450-99000296160020331620070807163408.03-540-20971-9000296160USA01000296160(ALEPH)000296160USA0100029616020070807d2004----km-y0itay0103----baengDEa|||||||001yyModel-Checking Based Data Retrievalan application to semistructured and temporal dataElisa QuintarelliBerlin [etc.]Springercopyr. 2004XIV, 134 p.ill.24 cm.Lecture notes in computer science29172001Lecture notes in computer science29172001001-------2001InformaticaProgrammazione005.1QUINTARELLI,Elisa597777ITsalbcISBD990002961600203316001 LNCS 291731008/CBS001 LNCS00215333BKSCISENATORE9020070807USA011634Model-Checking Based Data Retrieval1026858UNISA