1. Model-checking based data retrieval
Author: / Elisa Quintarelli
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Query languages (Computer science),Information storage and retrieval systems.
Classification :
QA
,
76
.
7
,.
Q49
,
2004
2. Model-checking based data retrieval : an application to semistructured and temporal data
Author: Elisa Quintarelli
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Query languages )Computer science(,، Information storage and retrieval systems
Classification :
QA
76
.
L28
Vol
.
2917
