Protocol verification as a hardware design aid (1992)

by David L Dill, Andreas J Drexler, Alan J Hu, C Han Yang
Venue:In International Conference on Computer Design