Research Catalog

On the formal verification of conflict detection algorithims

Title: On the formal verification of conflict detection algorithims [microform] / César Muñoz ... [et al.].
Publication: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Hanover, MD : Available from NASA Center for AeroSpace Information (CASI), [2001]

Available Online

Adobe Acrobat Reader required

Details

Additional Authors

Description

1 v.

Series Statement

[NASA technical memorandum] ; NASA/TM-2001-210864

Uniform Title

NASA technical memorandum ; 210864.

Subject

Note

Shipping list no.: 2002-0157-M.

Additional Formats (note)

Also available via Internet form 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.

Reproduction (note)

Microfiche.

Call Number

GPO Microfiche NAS 1.15:210864

OCLC

marcive50732104

Title

On the formal verification of conflict detection algorithims [microform] / César Muñoz ... [et al.].

Imprint

Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Hanover, MD : Available from NASA Center for AeroSpace Information (CASI), [2001]

Series

[NASA technical memorandum] ; NASA/TM-2001-210864

NASA technical memorandum ; 210864.

Additional Formats

Also available via Internet form 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.

Reproduction

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 2001?] 1 microfiche .

Connect to:

Adobe Acrobat Reader required

Added Author

Muñoz, César, 1968-

Langley Research Center.

Gpo Item No.

0830-D (MF)

0830-D (online)

Sudoc No.

NAS 1.15:210864

Research Call Number

GPO Microfiche NAS 1.15:210864

GPO Internet NAS 1.15:210864

View in Legacy Catalog