Wolfgang Kunz Books
Reasoning in Boolean Networks
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. T...
Read More
Reasoning in Boolean Networks
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. T...
Read More