TY - Front. Comput. Sci. A1 - Jie LIU, Jing LIU, Miaomiao ZHANG, Haiying SUN, Xiaohong CHEN, Dehui DU, Mingsong CHEN T1 - A proof-based method of hybrid systems development using differential invariants Y1 - 2018-09-21 JF - Frontiers of Computer Science JO - Front. Comput. Sci. SP - 1026 EP - 1028 VL - 12 IS - 5 UR - https://journal.hep.com.cn/fcs N1 - 10.1007/s11704-018-7213-y ER -