On the formal verification of conflict detection algorithms /

Bibliographic Details
Corporate Author:	Langley Research Center
Other Authors:	Muñoz, César A., 1968-
Format:	Government Document Book
Language:	English
Published:	Hampton, Va. : Hanover, MD : National Aeronautics and Space Administration, Langley Research Center ; Available from NASA Center for AeroSpace Inforamtion (CASI), [2001]
Series:	NASA technical memorandum ; 210864.
Subjects:	ALGORITHMS. DETECTION. Air traffic control. Management systems. Program verification (Computers) Safety.
Online Access:	Adobe Acrobat Reader required

Description
Item Description:	Shipping list number: 2002-0157-M. Shipping List Date: 02/25/2002 Microform.
Physical Description:	1 volume Also available via Internet from the NASA web site. Address as of 10/3/02: http://techreports.larc.nasa.gov/ltrs/PDF/2001/tm/NASA-2001-tm210864.pdf ; current access is available via PURL.