Luc J. M. Claesen

3 published titles

Computer hardware description languages and their applications : proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL'9

(Contributor)

1 edition

Higher order logic theorem proving and its applications

(Contributor)

1 edition

VLSI : integrated systems on silicon : IFIP TC10 WG10.5 International Conference on Very Large Scale Integration 26-30 August 1997, Gramado, RS, Brazil

(Contributor)

1 edition