@ARTICLE{PodelskiRybalchenkoTOPLAS2007,
AUTHOR = {Podelski, Andreas and Rybalchenko, Andrey},
TITLE = {Transition Predicate Abstraction and Fair Termination},
JOURNAL = {ACM Transactions on Programming Languages and Systems},
PUBLISHER = {ACM},
YEAR = {2007},
NUMBER = {3},
VOLUME = {29},
PAGES = {30},
ADDRESS = {New York, NY, USA},
DOI = {10.1145/1232420.1232422},
}
Entry last modified by Christine Kiesel, 01/28/2008