On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic.

Michael R. Hansen, Aske Wiid Brekling

Browse the full TIME paper archive.