Coverart for item
The Resource On the formal verification of conflict detection algorithims, César Muñoz ... [and others], (microform)

On the formal verification of conflict detection algorithims, César Muñoz ... [and others], (microform)

Label
On the formal verification of conflict detection algorithims
Title
On the formal verification of conflict detection algorithims
Statement of responsibility
César Muñoz ... [and others]
Contributor
Subject
Language
eng
Member of
Additional physical form
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.
Cataloging source
GPO
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorDate
1968-
http://library.link/vocab/relatedWorkOrContributorName
  • Muñoz, César
  • Langley Research Center
Series statement
NASA technical memorandum
Series volume
NASA/TM-2001-210864
http://library.link/vocab/subjectName
  • Algorithms
  • Detection
  • Air traffic control
  • Management systems
  • Program verification (computers)
  • Safety
Label
On the formal verification of conflict detection algorithims, César Muñoz ... [and others], (microform)
Link
http://purl.access.gpo.gov/GPO/LPS22879
Instantiates
Publication
Note
Shipping list no.: 2002-0157-M
Carrier category
microform
Carrier MARC source
local
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
ocm50732104
Extent
1 volume .
Form of item
microfiche
Media category
microform
Media MARC source
rdamedia
Media type code
h
Reproduction note
Microfiche.
Stock number
20010051296
System control number
  • (GPO)99103366
  • (OCoLC)50732104
  • (GPO)99103366
  • (Sirsi) a742647
Label
On the formal verification of conflict detection algorithims, César Muñoz ... [and others], (microform)
Link
http://purl.access.gpo.gov/GPO/LPS22879
Publication
Note
Shipping list no.: 2002-0157-M
Carrier category
microform
Carrier MARC source
local
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
ocm50732104
Extent
1 volume .
Form of item
microfiche
Media category
microform
Media MARC source
rdamedia
Media type code
h
Reproduction note
Microfiche.
Stock number
20010051296
System control number
  • (GPO)99103366
  • (OCoLC)50732104
  • (GPO)99103366
  • (Sirsi) a742647

Library Locations

    • Central Library, Jesse H. Jones BuildingBorrow it
      500 McKinney St., Houston, TX, 77002, US
      29.759431 -95.369953
Processing Feedback ...