Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption Tekijä Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala

Hae kokoteksti