Description: Reasoning in Boolean networks:

Main Author:	Kunz, Wolfgang
Other Authors:	Stoffel, Dominik
Format:	Book
Language:	English
Published:	Boston: Kluwer Academic Publishers, c1997
Series:	Frontiers in electronic testing
Subjects:	Integrated circuits > Very large scale integration > Testing > Data processing Integrated circuits > Verification > Data processing Logic design > Data processing

Physical Description:	xv, 230 p. : ill. ; 25 cm.
Bibliography:	Includes bibliographical references (p. 201-212) and index.
ISBN:	0792399218