History Index of Correct Computation for Fault-Tolerant Nano-Computing. - Yocheved Dotan; Nadav Levison; Roi Avidan; David J. Lilja (IEEE Trans. Very Large Scale Integr. Syst., 2009)