K. W. Conradt

According to our database, K. W. Conradt authored at least 1 paper in 1987.

Collaborative distances:

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

1987

Application of Term Rewriting Techniques to Hardware Design Verification.

Mandalagiri S. Chandrasekhar, J. P. Privitera, K. W. Conradt

Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28, 1987