CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Members
Events
Projects
Software
Publications
Contact
Light
Dark
Automatic
Quintarelli E
Latest
Applying Model-Checking to solve Queries on Semistructured Data
Operational and abstract semantics of the query language G-Log
Model Checking Based Data Retrieval
Cite
×