Toggle navigation
Home
People
Departments
Research
About
Login
Search
Proceedings of the 1986 ACM fourteenth annual conference on Computer science - CSC '86
Journal
Overview
Overview
publication venue for
Formal specification of N-modular redundancy
1986