Paul W. Horstmann

Publication Activity (10 Years)

Years Active: 1983-1984
Publications (10 Years): 0

Publications

Paul W. Horstmann, Edward P. Stabler
Computer aided design (CAD) using logic programming. DAC (1984)
Frank Rubin, Paul W. Horstmann
A logic design front-end for improved engineering productivity. DAC (1983)
Paul W. Horstmann
Design for Testability Using Logic Programming. ITC (1983)