Title :
Table of contents
Abstract :
The following topics are dealt with: temporal networks; interval temporal logics and applications; temporal databases; data warehouses; and verification.
Keywords :
data warehouses; formal verification; temporal databases; temporal logic; data warehouses; interval temporal logics; temporal databases; temporal networks; verification;
Conference_Titel :
Temporal Representation and Reasoning (TIME), 2014 21st International Symposium on
Conference_Location :
Verona
Print_ISBN :
978-1-4799-4228-2
DOI :
10.1109/TIME.2014.8
