A Description Methodology for Parameterized Modules in the Boyer-Moore Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Diederik Verkest, J. Vandenbergh, Luc J. M. Claesen, Hugo De Man. A Description Methodology for Parameterized Modules in the Boyer-Moore Logic. In Victoria Stavridou, Thomas F. Melham, Raymond T. Boute, editors, Theorem Provers in Circuit Design, Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24 June 1992, Proceedings. Volume A-10 of IFIP Transactions, pages 37-57, North-Holland, 1992.

This author has not been identified. Look up 'Diederik Verkest' in GoogleThis author has not been identified. Look up 'J. Vandenbergh' in GoogleThis author has not been identified. Look up 'Luc J. M. Claesen' in GoogleThis author has not been identified. Look up 'Hugo De Man' in Google

runs on WebDSL