www.prismmodelchecker.org
[DO77] R. Dobrushin and E. Ortyukov. Upper bound on the redundancy of self-correcting arrangements of unreliable functional elements. Problems of Information Transmission, 23(2), pages 203-218. 1977. [bib]
Downloads:  bib bib

Publications