@misc{indiciae2376baac9d45,
  title = {Compositional Hoare-style Reasoning about Hybrid CSP in the Duration Calculus},
  author = {Dimitar Guelev and Shuling Wang and Naijun Zhan},
  year = {2017},
  url = {https://arxiv.org/abs/1706.06246},
  note = {Source identifier: 1706.06246}
}