Carlo Combi, Sara Degani. Building Logical Specifications of Temporal Granularities through Algebraic Operators. In Carsten Lutz, Jean-François Raskin, editors, TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings. pages 107-114, IEEE Computer Society, 2009. [doi]
Abstract is missing.