DS-1996-02: Angelo Montanari Metric and Layered Temporal Logic for Time Granularity 1.Abstract, 2.Samenvatting, 3.Full Text (PDF), 4.Full Text (PS). < Back