Andreas J. Drexler

Publication Activity (10 Years)

Years Active: 1992-1992
Publications (10 Years): 0

Publications

David L. Dill, Andreas J. Drexler, Alan J. Hu, C. Han Yang
Protocol Verification as a Hardware Design Aid. ICCD (1992)
Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang
Higher-Level Specification and Verification with BDDs. CAV (1992)