TY  - RPRT
TI  - Automated synthesis of local time requirement for service composition
AU  - Étienne André
AU  - Tian Huat Tan
AU  - Manman Chen
AU  - Shuang Liu
AU  - Jun Sun
AU  - Yang Liu
AU  - Jin Song Dong
PY  - 2020
DO  - 10.1007/s10270-020-00787-5
UR  - https://arxiv.org/abs/2003.08116
ID  - 2003.08116
ER  -