Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques | DealShopping Deutschland