TY  - RPRT
TI  - Formal verification of an oral messages algorithm for interactive consistency
AU  - Rushby, John
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19930005619
ID  - 19930005619
ER  -