Decidability Results for Metric and Layered Temporal Logics (1996)

by Angelo Montanari, Alberto Policriti
Venue:Notre Dame Journal of Formal Logic