www.prismmodelchecker.org
[EP98] W. Evans and N. Pippenger. On the Maximum Tolerable Noise for Reliable Computation by Formulas. IEEE Transactions on Information Theory, 44(3), pages 1299-1305. 1988. [bib]
Downloads:  bib bib

Publications