17th TIME 2010: Paris, France

Invited Talks

Temporal Logics

Real-Time Systems

Spatial and Temporal Reasoning

Planning and Control

Databases

a service of Schloss Dagstuhl - Leibniz Center for Informatics