Marianne Winslett

1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A prescriptive formal model for data-path hardware

D.W. Knapp and others (1992) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers