W. Ploegaerts

Publication Activity (10 Years)

Years Active: 1989-1991
Publications (10 Years): 0

Publications

W. Ploegaerts, Luc J. M. Claesen, Hugo De Man
Defining Recursive Functions in HOL. TPHOLs (1991)
Luc Claesen, R. T. Boute, J. De Man, W. Ploegaerts, M. Seutter, J. Vanslembrouck, Diederik Verkest
Application of system semantics to VLSI for the transformational design of a parameterized booth multiplier module - a case study. Microprocessing and Microprogramming 27 (1-5) (1989)
W. Ploegaerts, Diederik Verkest, Luc Claesen, Hugo De Man
Description and verification of more-dimensional regular and non-homogeneous structures using a functional hardware description language. Microprocessing and Microprogramming 27 (1-5) (1989)