Functional Dependency for Verification Reduction.

Journal

Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Pages

268-280

Date Issued

2004

Author(s)

Jiang, Jie-Hong Roland

Brayton, Robert K.

DOI

URI

URL

Type

conference paper