She, Zhikun Programming Logics, MPI for Informatics, Max Planck Society;
Xia, Bican Programming Logics, MPI for Informatics, Max Planck Society;
She, Z., Xia, B., & Xiao, R. (2006). A Semi-Algebraic Approach for the Computation of Lyapunov Functions. In 2th IASTED International Conference on COMPUTATIONAL INTELLIGENCE. Canada: ACTA Press.