A Model Checking Procedure for Interval Temporal Logics based on Track Representatives.

Alberto Molinari, Angelo Montanari, Adriano Peron

Browse the full CSL paper archive.