Model-checking based data retrieval : an application to semistructured and temporal data /

Bibliographic Details

Main Author:	Quintarelli, Elisa
Corporate Author:	NetLibrary, Inc
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [2004]
Series:	Lecture notes in computer science. 2917.
Subjects:	Query languages (Computer science) Information storage and retrieval systems. Electronic books.
Online Access:	Connect to the full text of this electronic book