23rd TIME 2016: Kongens Lyngby, Denmark

Invited Presentations

Session 1: Hybrid Systems

Session 2: Specification and Verification I

Session 3: Domain Specific Approaches

Session 4: Temporal Planning

Session 5: Specification and Verification II

Session 6: Temporal Databases

Session 7: Logics

maintained by Schloss Dagstuhl LZI, founded at University of Trier