Paul W. Horstmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1983–1984
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1984 | DAC | Computer aided design (CAD) using logic programming. | Paul W. Horstmann, Edward P. Stabler |
| 1983 | DAC | A logic design front-end for improved engineering productivity. | Frank Rubin, Paul W. Horstmann |
| 1983 | ITC | Design for Testability Using Logic Programming. | Paul W. Horstmann |