TY  - RPRT
TI  - Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints
AU  - Ekaterina Arafailova
AU  - Nicolas Beldiceanu
AU  - Helmut Simonis
PY  - 2019
UR  - https://arxiv.org/abs/1901.09793
ID  - 1901.09793
ER  -