termination of nonlinear programs

【文件属性】：
文件名称：termination of nonlinear programs
文件大小：589KB
文件格式：PDF
更新时间：2017-11-05 11:16:31
termination loops 程序验证 终止性分析 非线性循环程序 ， 非线性循环程序的终止性分析，一篇非常好的文章，不过实在太简单了点