TIME
2002
IEEE
13 years 9 months ago
2002
IEEE
We show the expressiveness provided by a Labelled point-based metric model for specifying and reasoning about complex disjunctive temporal constraints. The model allows us to mana...