TY  - RPRT
TI  - Mechanically verified hardware implementing an 8-bit parallel IO Byzantine agreement processor
AU  - Moore, J. Strother
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19920015452
ID  - 19920015452
ER  -