On the formal verification of conflict detection algorithms / César Muñoz ... [et al.].
| Other author | Muñoz, César A., 1968- |
| Other author | Langley Research Center. |
| Format | Microform |
| Publication Info | Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Hanover, MD : Available from NASA Center for AeroSpace Information (CASI), [2001] |
| Description | 1 v. |
| Supplemental Content | https://purl.fdlp.gov/GPO/LPS22879 |
| Series | [NASA technical memorandum] ; NASA/TM-2001-210864 NASA technical memorandum 210864. ^A467613 |
| General note | Shipping list no.: 2002-0157-M. |
| General note | GPO Cataloging Record Distribution Program (CRDP). |
| Other forms | 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. |
| Reproduction note | Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 2001?]. 1 microfiche. |
| GPO item number | 0830-D (MF) |
| GPO item number | 0830-D (online) |
| Govt. docs number | NAS 1.15:210864 |
| Stock number | 20010051296 NASA |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | Microforms B300 | NAS 1.15:210864 | ✔ Available |