Michael C. McFarland
发表
Michael C. McFarland,
1981,
18th Design Automation Conference.
Michael C. McFarland,
M. C. McFarland,
1993
.
Michael C. McFarland,
1993,
DAC '93.
Michael C. McFarland,
1990,
Computer.
Michael C. McFarland,
1986,
IEEE Technology and Society Magazine.
Marilyn Wolf,
Michael C. McFarland,
Thaddeus J. Kowalski,
1986,
AAAI.
Alice C. Parker,
Michael C. McFarland,
M. C. McFarland,
1983,
IEEE Transactions on Computers.
Michael C. McFarland,
M. C. McFarland,
1992,
Journal of Systems and Software.
Michael C. McFarland,
Thaddeus J. Kowalski,
M. C. McFarland,
1990,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Michael C. McFarland,
1991,
Computer.
Michael C. McFarland,
1986,
DAC.
Michael C. McFarland,
1989,
26th ACM/IEEE Design Automation Conference.
Michael C. McFarland,
M. C. McFarland,
1983,
20th Design Automation Conference Proceedings.
Michael C. McFarland,
1991,
DAC.
Alice C. Parker,
Raul Camposano,
Michael C. McFarland,
1990,
Proc. IEEE.
Alice C. Parker,
Raul Camposano,
Michael C. McFarland,
1988,
DAC '88.
Michael C. McFarland,
Thaddeus J. Kowalski,
M. C. McFarland,
1995,
CHARME.
Michael C. McFarland,
M. C. McFarland,
1993,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Michael C. McFarland,
1993,
Formal Methods Syst. Des..
Michael C. McFarland,
1995
.