Michael J. Batek
发表
John P. Hayes,
Michael J. Batek,
1992,
[1992] Proceedings 29th ACM/IEEE Design Automation Conference.
Michael J. Batek,
R. Guyette,
A. Rebertus,
1999
.
Michael J. Batek,
John P. Hayes,
1994
.