TY  - RPRT
TI  - Compositional Hoare-style Reasoning about Hybrid CSP in the Duration Calculus
AU  - Dimitar Guelev
AU  - Shuling Wang
AU  - Naijun Zhan
PY  - 2017
UR  - https://arxiv.org/abs/1706.06246
ID  - 1706.06246
ER  -