Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic.

Laura Bozzelli, Angelo Montanari, Adriano Peron

Browse the full TIME paper archive.