NADEEM, M., & DRECHSLER, R. (2026). Linear Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures. Journal of Multiple-Valued Logic & Soft Computing, 47(1), 103.
Chicago Style (17th ed.) CitationNADEEM, MOHAMED, and ROLF DRECHSLER. "Linear Formal Verification of Multi-Valued Logic Circuits Within Constant Cutwidth Architectures." Journal of Multiple-Valued Logic & Soft Computing 47, no. 1 (2026): 103.
MLA (9th ed.) CitationNADEEM, MOHAMED, and ROLF DRECHSLER. "Linear Formal Verification of Multi-Valued Logic Circuits Within Constant Cutwidth Architectures." Journal of Multiple-Valued Logic & Soft Computing, vol. 47, no. 1, 2026, p. 103.
Warning: These citations may not always be 100% accurate.
