Research Catalog
Model-checking based data retrieval : an application to semistructured and temporal data / Elisa Quintarelli.
- Title
- Model-checking based data retrieval : an application to semistructured and temporal data / Elisa Quintarelli.
- Author
- Quintarelli, Elisa
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Use in library | QA76.7 .Q49 2004 | Off-site |
Details
- Additional Authors
- Quintarelli, Elisa
- Description
- xvi, 134 p. : ill.; 24cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 2917
- Subject
- ISBN
- 3540209719 (softcover : alk. paper)
- LCCN
- 2004042929
- Owning Institutions
- Columbia University Libraries