Paul W. Horstmann

According to our database, Paul W. Horstmann authored at least 3 papers between 1983 and 1984.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1984

Computer aided design (CAD) using logic programming.

Paul W. Horstmann, Edward P. Stabler

Proceedings of the 21st Design Automation Conference, 1984

1983

Design for Testability Using Logic Programming.

Paul W. Horstmann

Proceedings of the Proceedings International Test Conference 1983, 1983

A logic design front-end for improved engineering productivity.

Frank Rubin, Paul W. Horstmann

Proceedings of the 20th Design Automation Conference, 1983