Hardware verification using monadic second-order logic (1995)

by D Basin, N Klarlund
Venue:Computer-Aided Verification (CAV ’95), LNCS 939