TY  - RPRT
TI  - Approximate Bisimulation and Discretization of Hybrid CSP
AU  - Gaogao Yan
AU  - Li Jiao
AU  - Yangjia Li
AU  - Shuling Wang
AU  - Naijun Zhan
PY  - 2016
UR  - https://arxiv.org/abs/1609.00091
ID  - 1609.00091
ER  -