Richiedi una copia del documento: On Coarser Interval Temporal Logics and their Satisfiability Problem

Annulla