Non-termination Sets of Simple Linear Loops

Theoretical Aspects of Computing – ICTAC 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32943-2_5 ◽

2012 ◽

pp. 61-73 ◽

Cited By ~ 1

Author(s):

Liyun Dai ◽

Bican Xia

Download Full-text