TY  - RPRT
TI  - Toward `verifying' a Water Treatment System
AU  - Jingyi Wang
AU  - Jun Sun
AU  - Yifan Jia
AU  - Shengchao Qin
AU  - Zhiwu Xu
PY  - 2018
DO  - 10.1007/978-3-319-95582-7_5
UR  - https://arxiv.org/abs/1712.04155
ID  - 1712.04155
ER  -