Molitor, P., Mohnke, J., Becker, B., & Scholl, C. (2004). Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods. Springer US. https://doi.org/10.1007/b105298
Chicago-Zitierstil (17. Ausg.)Molitor, Paul, Janett Mohnke, Bernd Becker, und Christoph Scholl. Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods. Boston, MA: Springer US, 2004. https://doi.org/10.1007/b105298.
MLA-Zitierstil (9. Ausg.)Molitor, Paul, et al. Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods. Springer US, 2004. https://doi.org/10.1007/b105298.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.