TY  - BOOK
AU  - Quintarelli,Elisa
ED  - SpringerLink (Online service)
TI  - Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data 
T2  - Lecture Notes in Computer Science,
SN  - 9783540246039
AV  - QA76.9.D3 
U1  - 005.74 23
PY  - 2004///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Database management
KW  - Information storage and retrieval systems
KW  - Information systems
KW  - Management information systems
KW  - Computer Science
KW  - Database Management
KW  - Information Storage and Retrieval
KW  - Information Systems Applications (incl.Internet)
KW  - Business Information Systems
N1  - 1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval -- 4. Temporal Aspects of Semistructured Data -- 5. Related Works -- 6. Conclusion
UR  - http://dx.doi.org/10.1007/b94902
ER  -