DMCA

Automata Based Symbolic Reasoning in Hardware Verification (1998)

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