TY  - RPRT
TI  - Monitoring real-time navigation processes using the automated reasoning tool (ART)
AU  - Maletz, M. C.
AU  - Culbert, C. J.
PY  - 1985
UR  - https://ntrs.nasa.gov/citations/19870024946
ID  - 19870024946
ER  -