Techniques for Formal Verification of Digital Systems: A System Approach.

Hamid Shojaei, Habib Ghayoumi

Browse the full DSD paper archive.