www.prismmodelchecker.org
[KV10] J. A. Kumar and S. Vasudevan. Statistical guarantees of performance for MIMO designs. In Proc. IEEE/IFIP International Conference on Dependable Systems & Networks (DSN'10). 2010. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications