Searching for "Model-Checking Based Data Retrieval." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Model-Checking Based Data Retrieval
by Agostino Dovier, Elisa Quintarelli — 2000 — Proc. of DBPL ’01, 8th Int. Workshop on Databases andProgramming Languages
…Model-Checking Based Data Retrieval Agostino Dovier 1 and Elisa Quintarelli 2 1 Dip. di Matematica…
Cited by 4 (3 self) – Add To MetaCart

An Annotated Bibliography on Temporal and Evolution Aspects in the World Wide Web
by Author(s Fabio Grandi, Christian S. Jensen (codirector, Michael H. Böhlen, Heidi Gregersen, Janne Skyt, Slivinskas Kristian Torp, Richard T. Snodgrass (codirector, Dengfeng Gao, Bongki Moon, Sudha Ram, Michael D. Soo, Fabio Grandi, Fabio Grandi — 2003
… Selecta, Milan, pp. 215–222, 2001. [24] Elisa Quintarelli, “Model-Checking Based Data Retrieval…
Cited by 15 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB