TY  - RPRT
TI  - Automated Constraint Checking of Spacecraft Command Sequences
AU  - Horvath, J. C.
AU  - Alkalaj, L. J.
AU  - Schneider, K. M.
AU  - Spitale, J. M.
AU  - Le, D.
PY  - 1994
UR  - https://ntrs.nasa.gov/citations/20060037854
ID  - 20060037854
ER  -