Langley Research Center & Muñoz, C. A. (2001). On the formal verification of conflict detection algorithms. National Aeronautics and Space Administration, Langley Research Center ; Available from NASA Center for AeroSpace Inforamtion (CASI).
Chicago Style (17th ed.) CitationLangley Research Center and César A. Muñoz. On the Formal Verification of Conflict Detection Algorithms. Hampton, Va. : Hanover, MD: National Aeronautics and Space Administration, Langley Research Center ; Available from NASA Center for AeroSpace Inforamtion (CASI), 2001.
MLA (9th ed.) CitationLangley Research Center and César A. Muñoz. On the Formal Verification of Conflict Detection Algorithms. National Aeronautics and Space Administration, Langley Research Center ; Available from NASA Center for AeroSpace Inforamtion (CASI), 2001.