Linear ranking with reachability. (2005)

by Aaron R Bradley, Zohar Manna, Henny B Sipma
Venue:In 17th International Conference on Computer Aided Verification (CAV),