Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Journal Full Title / ISSN | Year | Author/Editor | Title | |||||
---|---|---|---|---|---|---|---|---|
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
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 | |||||
|