Research Catalog
Reasoning in Boolean networks : logic synthesis and verification using testing techniques
- Title
- Reasoning in Boolean networks : logic synthesis and verification using testing techniques / by Wolfgang Kunz and Dominik Stoffel.
- Author
- Kunz, Wolfgang.
- Publication
- Boston : Kluwer Academic Publishers, c1997.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 97-1138 | Offsite |
Details
- Additional Authors
- Stoffel, Dominik.
- Description
- xv, 230 p. : ill.; 25 cm.
- Series Statement
- Frontiers in electronic testing
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. 201-212) and index.
- Call Number
- JSE 97-1138
- ISBN
- 0792399218 (hb : acid-free paper)
- LCCN
- 97019833
- OCLC
- 36900886
- vendor97019833
- Author
- Kunz, Wolfgang.
- Title
- Reasoning in Boolean networks : logic synthesis and verification using testing techniques / by Wolfgang Kunz and Dominik Stoffel.
- Imprint
- Boston : Kluwer Academic Publishers, c1997.
- Series
- Frontiers in electronic testing
- Bibliography
- Includes bibliographical references (p. 201-212) and index.
- Added Author
- Stoffel, Dominik.
- Research Call Number
- JSE 97-1138