Louis J. Hafer
发表
A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital Logic
Alice C. Parker,
Louis J. Hafer,
1981,
18th Design Automation Conference.
Louis J. Hafer,
L. Hafer,
1991,
28th ACM/IEEE Design Automation Conference.
Daniel P. Siewiorek,
Donald E. Thomas,
Alice C. Parker,
1979,
16th Design Automation Conference.
Alice C. Parker,
Louis J. Hafer,
1978,
15th Design Automation Conference.
M. Stella Atkins,
Louis J. Hafer,
Patrick Leung,
1988,
SIGCSE '88.
A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital Logic
Alice C. Parker,
Louis J. Hafer,
1983,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Alice C. Parker,
Louis J. Hafer,
A. Parker,
1982,
IEEE Transactions on Computers.
Alice C. Parker,
Louis J. Hafer,
1978,
Jerusalem Conference on Information Technology.
Louis J. Hafer,
Godfried M. Swinkels,
1990,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..