Towards a formal semantics of flight plans and trajectories /

Bibliographic Details
Main Authors:	Hagen, George E. (Author), Butler, Ricky W. (Author)
Corporate Author:	United States. National Aeronautics and Space Administration (sponsoring body.)
Format:	Government Document eBook
Language:	English
Published:	Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, December 2014.
Series:	NASA technical memorandum ; 2014-218662.
Subjects:	Flight plans. Trajectories. National Airspace System. Flight management systems. Air traffic control.
Online Access:	https://purl.fdlp.gov/GPO/gpo59325 http://purl.fdlp.gov/GPO/gpo59325

Description
Item Description:	Title from title screen (viewed Aug. 5, 2015). "December 2014."
Physical Description:	1 online resource (36 pages) : color illustrations.
Bibliography:	Includes bibliographical references (pages 28-29).