Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques (Frontiers in Electronic Testing)
by:
Wolfgang Kunz
· Dominik Stoffel
Hardcover
details (
USA
).
ISBN: 978-0-7923-9921-6
ISBN-10: 0-7923-9921-8
Springer
· 1997