Andreas J. Drexler

According to our database, Andreas J. Drexler authored at least 2 papers in 1992.

Collaborative distances:

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

1992

Protocol Verification as a Hardware Design Aid.

David L. Dill, Andreas J. Drexler, Alan J. Hu, C. Han Yang

Proceedings of the Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1992

Higher-Level Specification and Verification with BDDs.

Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992