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: Computer aided verification
    sub title: 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings
  name:
    name part: CAV (Conference) 1993 : Eloúnda, Greece)
    role:
      role term: creator
  name:
    name part: Courcoubetis, Costas.
  type of resource: text
  genre: bibliography
  genre: conference publication
  origin info:
    place:
      place term: gw
    place:
      place term: Berlin
    place:
      place term: New York
    publisher: Springer-Verlag
    date issued: c1993
    date issued: 1993
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    extent: ix, 504 p. : ill. ; 24 cm.
  note: Costas Courcoubetis, ed.
  note: Includes bibliographical references.
  subject:
    topic: Computer software
    topic: Verification
    topic: Congresses
  classification: QA76.76.V47 C38 1993
  classification: 511.3/0285
  related item:
    title info:
      title: Lecture notes in computer science ; 697
  identifier: 0387569227
  identifier: 3540569227
  identifier: 93219261 //r95
  location:
    physical location: CARM
  record info:
    record content source: LC
    record creation date: 931028
    record change date: 19950417000000.0
    record identifier: c000162090
    language of cataloging:
      language term: eng