TY  - RPRT
TI  - Abstraction of Elementary Hybrid Systems by Variable Transformation
AU  - Jiang Liu
AU  - Naijun Zhan
AU  - Hengjun Zhao
AU  - Liang Zou
PY  - 2015
UR  - https://arxiv.org/abs/1403.7022
ID  - 1403.7022
ER  -