Automata based symbolic reasoning in hardware verification. Formal Methods (1998)

by D Basin, N Klarlund
Venue:In System Design, 13:255–288