TY  - RPRT
TI  - Reactive system verification case study: Fault-tolerant transputer communication
AU  - Crane, D. Francis
AU  - Hamory, Philip J.
PY  - 1993
UR  - https://ntrs.nasa.gov/citations/19940011065
ID  - 19940011065
ER  -