Conference
Formal specification of N-modular redundancy
Authors
Mancini L; Koutny M
Pagination
pp. 199-204
Publisher
Association for Computing Machinery (ACM)
Publication Date
February 1, 1986
DOI
10.1145/324634.325389
Name of conference
Proceedings of the 1986 ACM fourteenth annual conference on Computer science - CSC '86