Quintarelli, Elisa. <br/><br/>
Model-Checking Based Data Retrieval  An Application to Semistructured and Temporal Data / 
by Elisa Quintarelli. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783540246039 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Database management.; Information storage and retrieval systems.; Information systems.; Management information systems.; Computer Science.; Database Management.; Information Storage and Retrieval.; Information Systems Applications (incl.Internet).; Business Information Systems.