www.prismmodelchecker.org
[RBB07] G. Roelke, R. Baldwin and D. Bulutoglu. Analytical Models for the Performance of von Neumann Multiplexing. IEEE Transactions on Nanotechnology, 6(1), pages 75-89. January 2007. [bib] http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4063343
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications