Mechanical Identification of Inductive Properties During Verification of Finite State Machines.

I. Chakrabarti, Dipankar Sarkar

Browse the full VLSID paper archive.