www.prismmodelchecker.org
[Pip88] N. Pippenger. Reliable computation by formulas in the presence of noise. IEEE Transactions on Information Theory, 34(2), pages 194-197. 1998. [bib]
Downloads:  bib bib

Publications