Stefan Leue, Wei Wei
A Region Graph Based Approach to Termination Proofs
TACAS, 2006.
@inproceedings{TACAS-2006-LeueW, author = "Stefan Leue and Wei Wei", booktitle = "{Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}", doi = "10.1007/11691372_21", isbn = "3-540-33056-9", pages = "318--333", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Region Graph Based Approach to Termination Proofs}", volume = 3920, year = 2006, }