APA-Zitierstil (7. Ausg.)

(1993). Correct hardware design and verification methods: IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, France, May 24 - 26, 1993 ; proceedings. Springer. https://doi.org/10.1007/BFb0021709

Chicago-Zitierstil (17. Ausg.)

Correct Hardware Design and Verification Methods: IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, France, May 24 - 26, 1993 ; Proceedings. Berlin u.a: Springer, 1993. https://doi.org/10.1007/BFb0021709.

MLA-Zitierstil (9. Ausg.)

Correct Hardware Design and Verification Methods: IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, France, May 24 - 26, 1993 ; Proceedings. Springer, 1993. https://doi.org/10.1007/BFb0021709.