DocumentCode
136266
Title
Table of contents
fYear
2014
fDate
8-10 Sept. 2014
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Temporal Representation and Reasoning (TIME), 2014 21st International Symposium on
Conference_Location
Verona
ISSN
1530-1311
Print_ISBN
978-1-4799-4228-2
Type
conf
DOI
10.1109/TIME.2014.8
Filename
6940362
Link To Document