| Ann. Math. Artif. Intell. |
| |
| Appl. Algebra Eng. Commun. Comput. |
| |
| Parallel Processing Letters |
| |
| ACM Transactions on Programming Languages and Systems
0164-0925 | 2007 | Ben-Amram, Amir M.
Lee, Chin Soon | | Program termination analysis in polynomial time
In: ACM Transactions on Programming Languages and Systems [29], 5:1-37 | |
| ACM Transactions on Programming Languages and Systems
- | 2007 | Podelski, Andreas
Rybalchenko, Andrey | | Transition Predicate Abstraction and Fair Termination
In: ACM Transactions on Programming Languages and Systems [29], 30 | |