Normal view
MARC view
Query languages (Computer science) (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): Quintarelli, Elisa. 17864, Model-checking based data retrieval :, ©2004.