Functional dependency for verification reduction

Journal

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Journal Volume

3114

Pages

268-280

Date Issued

2004

Author(s)

Jiang, J.-H.R.

Brayton, R.K.

URI

URL

Type

journal article