Michael R. Hansen, Aske Wiid Brekling. On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic. In Carlo Combi, Martin Leucker, Frank Wolter, editors, Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011. pages 115-122, IEEE, 2011. [doi]
Abstract is missing.