TY  - RPRT
TI  - Abstractions for Fault-Tolerant Distributed System Verification
AU  - Pike, Lee S.
AU  - Maddalon, Jeffrey M.
AU  - Miner, Paul S.
AU  - Geser, Alfons
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20040139819
ID  - 20040139819
ER  -