Login / Signup

Abstraction of Elementary Hybrid Systems by Variable Transformation.

Jiang LiuNaijun ZhanHengjun ZhaoLiang Zou
Published in: FM (2015)
Keyphrases