@misc{indiciae40e651004135,
  title = {Automated synthesis of local time requirement for service composition},
  author = {Étienne André and Tian Huat Tan and Manman Chen and Shuang Liu and Jun Sun and Yang Liu and Jin Song Dong},
  year = {2020},
  doi = {10.1007/s10270-020-00787-5},
  url = {https://arxiv.org/abs/2003.08116},
  note = {Source identifier: 2003.08116}
}