Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments.

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala

Browse the full CADE paper archive.