TY  - RPRT
TI  - An EVACS simulation with nested transactions
AU  - Auty, David
AU  - Atkinson, Collin
AU  - Randall, Charlie
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19930002529
ID  - 19930002529
ER  -