Automata based symbolic reasoning in hardware verification (1998)

by BK98 D Basin, N Klarlund
Venue:Formal Methods in System Design