APA (7th ed.) Citation

Margaria, T., Griva, M., & Tesio, R. (1994). Semantic extraction for the automatic verification of VHDL descriptions.

Chicago Style (17th ed.) Citation

Margaria, Tiziana, Maurizio Griva, and Riccardo Tesio. Semantic Extraction for the Automatic Verification of VHDL Descriptions. Passau, 1994.

MLA (9th ed.) Citation

Margaria, Tiziana, et al. Semantic Extraction for the Automatic Verification of VHDL Descriptions. 1994.