www.prismmodelchecker.org
[NSF01] K. Nikolic, A. Sadek and M. Forshaw. Architectures for Reliable Computing with Unreliable Nanodevices. In Proc. 1st IEEE Conference on Nanotechnology, pages 254-259. 2001. [bib]
Downloads:  bib bib

Publications