TY - CHAP A1 - Krautz, U. A1 - Pflanz, Matthias A1 - Vierhaus, Heinrich Theodor A1 - Jacobi, C. A1 - Tast, H. W. T1 - Evaluating Coverage of Error Detection Logic for Soft Errors using Formal Methods T2 - Design, automation and test in Europe, Munich, Germany, March 6 - 10, 2006, proceedings, vol. 1 Y1 - 2006 SN - 3-9810801-1-4 SP - 176 EP - 181 PB - IEEE CY - Piscataway, NJ ER -