| emsoft | participants

Hengjun Zhao

EMSOFT 2011: 11th International Conference on Embedded Software

Computing Semi-Algebraic Invariants for Polynomial Dynamical Systems

Jiang Liu, Naijun Zhan, and Hengjun Zhao