Title: Reasoning in Boolean networks
First published: 1997
Subjects: Data processing, Integrated circuits, Logic design, Verification, Very large scale integration, Testing, Integrated circuits, very large scale integration, Electronic data processing, Computer software, verification
LC classification: TK7874 .K866 1997