P. Loewenstein
发表
Robert Cypher,
Chaiyasit Manovit,
Paul Loewenstein,
2006
.
D. Dill,
P. Loewenstein,
1990,
Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Paul Loewenstein,
Andrew Fox,
P. Loewenstein,
1988,
Microprocess. Microprogramming.
Paul Loewenstein,
P. Loewenstein,
1995,
TPHOLs.
R.K. Brayton,
R. Hojati,
R. Mueller-Thuns,
1995,
Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair.
Paul Loewenstein,
P. Loewenstein,
1989,
Hardware Specification, Verification and Synthesis.
P. Loewenstein,
1979
.
P. Loewenstein,
C. Zenuk,
1968
.
P. Loewenstein,
G. Friedman,
1968
.
Paul Loewenstein,
P. Loewenstein,
1991,
1991., International Workshop on the HOL Theorem Proving System and Its Applications.
Thomas Wicki,
Kathirgamar Aingaran,
Stephen Phillips,
2015,
IEEE Micro.
Paul Loewenstein,
P. Loewenstein,
1992,
Formal Methods Syst. Des..