APA (7th ed.) Citation

Kunz, W., & Stoffel, D. (1997). Reasoning in Boolean networks : logic synthesis and verification using testing techniques / by Wolfgang Kunz and Dominik Stoffel: Logic synthesis and verification using testing techniques. Kluwer Academic Publishers.

Chicago Style (17th ed.) Citation

Kunz, Wolfgang, and Dominik Stoffel. Reasoning in Boolean Networks : Logic Synthesis and Verification Using Testing Techniques / by Wolfgang Kunz and Dominik Stoffel: Logic Synthesis and Verification Using Testing Techniques. Boston: Kluwer Academic Publishers, 1997.

MLA (9th ed.) Citation

Kunz, Wolfgang, and Dominik Stoffel. Reasoning in Boolean Networks : Logic Synthesis and Verification Using Testing Techniques / by Wolfgang Kunz and Dominik Stoffel: Logic Synthesis and Verification Using Testing Techniques. Kluwer Academic Publishers, 1997.

Warning: These citations may not always be 100% accurate.