SEGRAS-A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems

• KRAMER B.

収録刊行物

• 9th ICSE

  9th ICSE 1987

詳細情報

• CRID: 1570009749683091584
• NII論文ID: 10007986131
• データソース種別:
  • CiNii Articles