| Type |  Book |
| ชื่อเรื่อง | Model-checking based data retrieval : an application to semistructured and temporal data / Elisa Quintarelli |
| ผู้แต่ง | Quintarelli, Elisa |
| ISBN | 3540209719 |
| พิมพลักษณ์ | Berlin : Springer, c2004 |
| รูปเล่ม | xvi, 134 p. : ill. ; 24 cm |
| หัวเรื่อง | Information storage and retrieval systems |
| | Query languages (Computer science) |