TY  - RPRT
TI  - Refinement for fault-tolerance: An aircraft hand-off protocol
AU  - Marzullo, Keith
AU  - Schneider, Fred B.
AU  - Dehn, Jon
PY  - 1994
UR  - https://ntrs.nasa.gov/citations/19940023265
ID  - 19940023265
ER  -