TY  - RPRT
TI  - A Flight Rule Checker for the LADEE Lunar Spacecraft
AU  - Kurklu, Elif
AU  - Havelund, Klaus
PY  - 2020
UR  - https://ntrs.nasa.gov/citations/20220001607
ID  - 20220001607
ER  -