APA (7th ed.) Citation

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.) Citation

Langley 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.) Citation

Langley 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.