Mutz, M. (1992). Verification of digital circuits based on formal semantics of a hardware description language. Euro-DAC '92, European Design Automation Conference : Euro-VHDL '92, Congress Centrum Hamburg, Hamburg, Germany, September 7-10, 1992, 98-103. https://doi.org/10.5555/159754.161737
Citácia podle Chicago (17th ed.)Mutz, Matthias. "Verification of Digital Circuits Based on Formal Semantics of a Hardware Description Language." Euro-DAC '92, European Design Automation Conference : Euro-VHDL '92, Congress Centrum Hamburg, Hamburg, Germany, September 7-10, 1992 1992: 98-103. https://doi.org/10.5555/159754.161737.
Citácia podľa MLA (8th ed.)Mutz, Matthias. "Verification of Digital Circuits Based on Formal Semantics of a Hardware Description Language." Euro-DAC '92, European Design Automation Conference : Euro-VHDL '92, Congress Centrum Hamburg, Hamburg, Germany, September 7-10, 1992, 1992, pp. 98-103, https://doi.org/10.5555/159754.161737.