Sign in

Abstraction of Elementary Hybrid Systems by Variable Transformation.

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