21st TIME 2014: Verona, Italy

Temporal Networks

Interval Temporal Logics and Applications

Temporal Databases and Data Warehouses

Verification

Temporal Logics

Schloss Dagstuhl LZI