Indexed Predicate Discovery for Unbounded System Verification (2004)

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