Margaria, T., Griva, M., & Tesio, R. (1994). Semantic extraction for the automatic verification of VHDL descriptions.
Chicago-Zitierstil (17. Ausg.)Margaria, Tiziana, Maurizio Griva, und Riccardo Tesio. Semantic Extraction for the Automatic Verification of VHDL Descriptions. Passau, 1994.
MLA-Zitierstil (9. Ausg.)Margaria, Tiziana, et al. Semantic Extraction for the Automatic Verification of VHDL Descriptions. 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.