Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking.

Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla

Browse the full VLSID paper archive.