[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

23rd TIME 2016: Kongens Lyngby, Denmark

Refine list

showing all ?? records

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