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 methods for protocol engineering and distributed systems
    sub title: FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China
  name:
    name part: IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 : Beijing, China)
    role:
      role term: creator
  name:
    name part: Wu, Jianping
    name part: 1953-
  name:
    name part: Chanson, Samuel T. (Samuel Tin-hung)
  name:
    name part: Gao, Qiang
    name part: 1963-
  name:
    name part: IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols 1999 : Beijing, China)
  name:
    name part: IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification 1999 : Beijing, China)
  type of resource: text
  genre: bibliography
  genre: conference publication
  origin info:
    place:
      place term: mau
    date issued: 1999
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    extent: 497 pages : illustrations ; 25 cm.
  note: edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
  note: Includes bibliographical references.
  subject:
    topic: Formal methods (Computer science)
    genre: Congresses
  subject:
    topic: Electronic data processing
    topic: Distributed processing
    genre: Congresses
  subject:
    topic: Computer network protocols
    genre: Congresses
  subject:
    topic: Computer network protocols
    genre: Congresses
  subject:
    topic: Formal methods (Computer science)
    genre: Congresses
  subject:
    topic: Electronic data processing
    topic: Distributed processing
    genre: Congresses
  classification: QA76.9.F67 I35 1999
  classification: 005.13/1
  related item:
    title info:
      title: International Federation for Information Processing (Series) ; 28
  identifier: 0792386469
  identifier: 99040808
  record info:
    record content source: DLC
    record creation date: 990726
    record change date: 20151021162414.0
    record identifier: in00001523605