Automata Based Symbolic Reasoning in Hardware Verification (1998)

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