Login / Signup

A prescriptive formal model for data-path hardware.

David W. KnappMarianne Winslett
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1992)
Keyphrases