TY  - RPRT
TI  - (abstract) Automated Constraint Checking of Spacecraft Command Sequences
AU  - Horvath, Joan
AU  - Alkalaj, Leon
AU  - Schneider, Karl
AU  - Spitale, Joseph
PY  - 1994
UR  - https://ntrs.nasa.gov/citations/20060039471
ID  - 20060039471
ER  -