APA-Zitierstil (7. Ausg.)

VLSI design methods: Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design ..., Houthalen, Belgium, 13 - 16 November, 1989. North-Holland.

Chicago-Zitierstil (17. Ausg.)

VLSI Design Methods: Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design ..., Houthalen, Belgium, 13 - 16 November, 1989. Amsterdam u.a: North-Holland.

MLA-Zitierstil (9. Ausg.)

VLSI Design Methods: Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design ..., Houthalen, Belgium, 13 - 16 November, 1989. North-Holland.