Bob Bentley. alidating the Intel® Pentium® 4 Microprocessor. In 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 1-4 July 2001, Göteborg, Sweden, Proceedings. pages 493-500, IEEE Computer Society, 2001. [doi]
Abstract is missing.