UID:
almahu_9947920706302882
Format:
XVII, 135 p.
,
online resource.
ISBN:
9783540246039
Series Statement:
Lecture Notes in Computer Science, 2917
Note:
1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval -- 4. Temporal Aspects of Semistructured Data -- 5. Related Works -- 6. Conclusion.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783540209713
Language:
English
Subjects:
Computer Science
Keywords:
Einführung
;
Hochschulschrift
URL:
http://dx.doi.org/10.1007/b94902
URL:
Volltext
(lizenzpflichtig)