Protocol verification as a hardware design aid. (1992)

by David L Dill, Andreas J Drexler, Alan J Hu, C Han Yang
Venue:In Proceedings of the 8th International Conference on Computer Aided Verification,