TY  - RPRT
TI  - Refinement Checking for Multirate Hybrid ZIA
AU  - Guozheng Li
AU  - Zining Cao
AU  - Zheng Gao
PY  - 2014
UR  - https://arxiv.org/abs/1410.3773
ID  - 1410.3773
ER  -