J. L. Paillet

Publication Activity (10 Years)

Years Active: 1988-1988
Publications (10 Years): 0

Publications

Dominique Borrione, Paolo Camurati, J. L. Paillet, Paolo Prinetto
A functional approach to formal hardware verification: the MTI experience. ICCD (1988)