Model-Checking Based Data Retrieval
Subtitle: An Application to Semistructured and Temporal Data
Publisher: Springer London, Limited
Published: 2004
Language: eng
ISBN-13: 9783540246039
Subjects: Information storage and retrieval systems; Programming languages (electronic computers)