Approximate Bisimulation and Discretization of Hybrid CSP.

Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan

Browse the full FM paper archive.