(1999). Formal semantics and proof techniques for optimizing VHDL models / Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey.
Chicago-Zitierstil (17. Ausg.)Formal Semantics and Proof Techniques for Optimizing VHDL Models / Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey. 1999.
MLA-Zitierstil (9. Ausg.)Formal Semantics and Proof Techniques for Optimizing VHDL Models / Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey. 1999.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.