On partitioning and symbolic model checking

Subjects

Subjects :

Decision tree -- Analysis
Binary-coded notation -- Analysis
Image processing -- Analysis

Details

Language :

English

ISSN :

02780070

Volume :

25

Issue :

5

Database :

Gale General OneFile

Journal :

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Publication Type :

Academic Journal

Accession number :

edsgcl.146365074