"Alternative Approaches to Hardware Verification (abstract)."

David L. Dill (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics