@misc{indiciae566e5e152200,
  title = {Deriving Generic Bounds for Time-Series Constraints Based on Regular Expressions Characteristics},
  author = {Ekaterina Arafailova and Nicolas Beldiceanu and Helmut Simonis},
  year = {2017},
  url = {https://arxiv.org/abs/1703.06783},
  note = {Source identifier: 1703.06783}
}