Richard Raimi
发表
Jacob A. Abraham,
Richard Raimi,
1999,
DAC '99.
Richard Raimi,
James Lear,
1997,
Proceedings International Test Conference 1997.
Randal E. Bryant,
Richard Raimi,
Manish Pandey,
1996,
DAC '96.
Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs
Armin Biere,
Edmund M. Clarke,
Richard Raimi,
1999,
CAV.
Magdy S. Abadir,
Randal E. Bryant,
Richard Raimi,
1997,
DAC.
Kedar S. Namjoshi,
Richard Raimi,
Ramin Hojati,
2000,
TODE.
Armin Biere,
Edmund M. Clarke,
Richard Raimi,
2001,
Formal Methods Syst. Des..
Richard Raimi,
James Lear,
2002,
Formal Methods Syst. Des..
Jacob A. Abraham,
Richard Raimi,
1999
.