Fault tolerant nanoarray circuits: Automatic design and verification. - Pasquale Ranone; Giovanna Turvani; Fabrizio Riente; Mariagrazia Graziano; Massimo Ruo Roch; Maurizio Zamboni (VTS, 2014)