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

Elisa Quintarelli. Model-Checking Based Data Retrieval, An Application to Semistructured and Temporal Data. Volume 2917 of Lecture Notes in Computer Science, Springer, 2004.

Abstract

Abstract is missing.