微信服务号
微信订阅号
Termination Analysis of Non-Linear Loops over Closed and Bounded Connected Domain
Author:
- LI Yi
LI Yi
Chongqing Key Laboratory of Automated Reasoning and Cognition(Automated Reasoning and Cognition Center, Chongqing Institute of Green and Intelligent Technology, The Chinese Academy of Sciences), Chongqing 401120, China
Find this author on CNKI
Find this author on BaiDu
Search for this author on this site - FENG Yong
FENG Yong
Chongqing Key Laboratory of Automated Reasoning and Cognition(Automated Reasoning and Cognition Center, Chongqing Institute of Green and Intelligent Technology, The Chinese Academy of Sciences), Chongqing 401120, China
Find this author on CNKI
Find this author on BaiDu
Search for this author on this site
Affiliation:
Fund Project:
National Natural Science Foundation of China (61572024, 61103110, 11171053)
Get Citation
李轶,冯勇.有界闭连通域上的非线性循环终止性分析.软件学报,2016,27(3):517-526
Copy
Article Metrics
- Abstract:
- PDF:
- HTML:
- Cited by:
History
- Received:July 02,2015
- Revised:October 20,2015
- Online: January 06,2016
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.
