Automata Based Symbolic Reasoning in Hardware Verification (1998)

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

Document Versions

Automata Based Symbolic Reasoning in Hardware Verification –David Basin, Nils Klarlund — 1998