Normal view
MARC view
Système d'information (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): Quintarelli, Elisa. 17864, Model-checking based data retrieval :, ©2004.