Model-Checking Based Data Retrieval [E-Book] : An Application to Semistructured and Temporal Data / by Elisa Quintarelli.
Quintarelli, Elisa.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
online resource
9783540209713
Lecture Notes in Computer Science ; 2917
Full Text
Description not available.