id: 70278954
dt: a
an: 70278954
au: Bentley, Bob
ti: Alidating the intel$\textregistered $ pentium$\textregistered 4$
    microprocessor
so: DSN, 493-500 (2001).
py: 2001
pu: 
la: EN
cc: 
ut: 
ci: 
li: http://doi.ieeecomputersociety.org/10.1109/DSN.2001.941434