Claesen, L. J. M. (1990). Formal VLSI specification and synthesis. VLSI design methods. Vol. I: Proceedings of the IFIP WG 10.2/WG 10.5 internat. workshop on applied formal methods for correct VLSI design, Houthalen, Belgium, 13 - 16 Nov., 1989 ([1st ed.].). North-Holland Publishing.
Citace podle Chicago (17th ed.)Claesen, Luc J. M. Formal VLSI Specification and Synthesis. VLSI Design Methods. Vol. I: Proceedings of the IFIP WG 10.2/WG 10.5 Internat. Workshop on Applied Formal Methods for Correct VLSI Design, Houthalen, Belgium, 13 - 16 Nov., 1989. [1st ed.]. Amsterdam: North-Holland Publishing, 1990.
Citace podle MLA (9th ed.)Claesen, Luc J. M. Formal VLSI Specification and Synthesis. VLSI Design Methods. Vol. I: Proceedings of the IFIP WG 10.2/WG 10.5 Internat. Workshop on Applied Formal Methods for Correct VLSI Design, Houthalen, Belgium, 13 - 16 Nov., 1989. [1st ed.]. North-Holland Publishing, 1990.