A flight rule checker for the LADEE lunar spacecraft

DOI10.1007/978-3-030-64276-1_1OpenAlexW3109761078MaRDI QIDQ2037931

Klaus Havelund, Elif Kurklu

Publication date: 8 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-64276-1_1

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: A flight rule checker for the LADEE lunar spacecraft