Claesen, Luc J. M.

ID:DA04622283

Search authors sharing the same name

Search Results1-6 of 6

1

VLSI-SoC : Internet of Things Foundations 22nd IFIP WG 10.5/Ieee International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa Del Carmen, Mexico, October 6-8, 2014, Revised and extended selected papers

Luc Claesen ... [et al.], editors

Springer c2015 IFIP advances in information and communication technology 464

Available at 1 libraries
2

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

edited by Ricardo Reis, Luc Claesen

Chapman & Hall 1997

Available at 3 libraries
3

Computer hardware description languages and their applications : proceedings of the 11th IFIP WG 10.2 International Conference on Computer Hardware Description Languages and Their Applications - CHDL '93, Ottawa, Ontario, Canada, 26-28 April, 1993

sponsored by IFIP WG 10.2 and in cooperation with IEEE COMPSOC ; edited by David Agnew, Luc Claesen, Raul Camposano

North-Holland 1993 IFIP transactions A . Computer science and technology ; 32

Available at 13 libraries
4

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92

organized by CHEOPS ESPRIT BRA 3215 ; sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 ; edited by Luc J.M. Claesen, Michael J.C. Gordon

North-Holland 1993 IFIP transactions A . Computer science and technology ; 20

Available at 19 libraries
5

Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen

North-Holland , Distributed in the U.S. and Canada, Elsevier Science Pub. Co. 1990 VLSI Design methods v. 2

Available at 10 libraries
6

Formal VLSI specification and synthesis : Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen

North-Holland , Distributed for the U.S. and Canada, Elsevier Science Pub. Co. 1990 VLSI Design methods v. 1

Available at 10 libraries

Claesen, Luc J. M.

Search Results1-6 of 6

Search this author

Related Authors