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: Formal techniques for networked and distributed systems
    sub title: FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
  name:
    name part: FORTE 2001 (2001 : Cheju-do, Korea)
    role:
      role term: creator
  name:
    name part: Kim, Myungchul.
  type of resource: text
  genre: bibliography
  genre: conference publication
  origin info:
    place:
      place term: enk
    date issued: 2001
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    extent: xii, 458 pages : illustrations ; 24 cm.
  note: edited by Myungchul Kim [and others].
  note: Includes bibliographical references.
  subject:
    topic: Electronic data processing
    topic: Distributed processing
    genre: Congresses
  subject:
    topic: Formal methods (Computer science)
    genre: Congresses
  identifier: 0792374703
  record info:
    record content source: UKM
    record creation date: 010905
    record change date: 20151023083844.0
    record identifier: in00001632164