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