Deciding conditional termination (2012)

by M Bozga, R Iosif, F Kone˘cn´y
Venue:In Proc. TACAS-18