rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: On the formal verification of conflict detection algorithms
  name:
    name part: Muñoz, César A.
    name part: 1968-
  name:
    name part: Langley Research Center
  type of resource: text
  origin info:
    place:
      place term: vau
    date issued: 2001
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: microfiche
    extent: 1 volume
  note: César Muñoz [and others].
  note: Shipping list number: 2002-0157-M.
  note: Shipping List Date: 02/25/2002
  note: Microform.
  note: 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.
  note: Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 2001?]. 1 microfiche.
  subject:
    topic: ALGORITHMS
  subject:
    topic: DETECTION
  subject:
    topic: Air traffic control
  subject:
    topic: Management systems
  subject:
    topic: Program verification (Computers)
  subject:
    topic: Safety
  classification: NAS 1.15:210864
  related item:
    title info:
      title: NASA technical memorandum ; 210864
  identifier: 20010051296 NASA
  identifier: https://purl.fdlp.gov/GPO/LPS22879
  related item:
    location:
      url: https://purl.fdlp.gov/GPO/LPS22879
  record info:
    record content source: GPO
    record creation date: 020228
    record change date: 20211202194848.0
    record identifier: in00001664004