Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data (Lecture Notes in Computer Science (2917), Band 2917)

Quintarelli

von Elisa Quintarelli

Taschenbuch

ISBN: 978-3-540-20971-3

ISBN-10: 3-540-20971-9

Springer · 2008