Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Reasoning in Boolean Networks | Wolfgang Kunz | Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The… | OL19898810W |