Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing T… Wolfgang Kunz Dominik Stoffel 0.0 stars
