www.prismmodelchecker.org
[CT08] A. Coker and V. Taylor. Performance and Reliability Analysis of a Scaled Multi-Switch Junction Crossbar Nanomemory and Demultiplexer. In Proc. IEEE NANO Conference. 2008. [bib] http://prophesy.cs.tamu.edu/publications.html
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications