Automata Based Symbolic Reasoning in Hardware Verification (1998)

by David Basin , Nils Klarlund
Citations:18 - 11 self