Deciding an Interval Logic with Accumulated Durations.

Martin Frnzle, Michael R. Hansen

Browse the full TACAS paper archive.