Protocol Verification as a Hardware Design Aid.

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

Browse the full ICCD paper archive.