Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption.

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

Browse the full ICALP paper archive.