Login / Signup

Applying model-checking to solve queries on semistructured data.

Agostino DovierElisa Quintarelli
Published in: Comput. Lang. Syst. Struct. (2009)
Keyphrases