Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-44953-1_2