Indexed Predicate Discovery for Unbounded System Verification (2004)

by Shuvendu K. Lahiri , Randal E. Bryant
Venue:IN CAV’04
Citations:46 - 6 self