Indexed predicate discovery for unbounded system verification (2004)

by S K Lahiri, R Bryant
Venue:In CAV’04, volume 3114 of LNCS