Formal verification of dynamic real-time state-transition systems using linear logic

• HASEBE K.

収録刊行物

• 日本ソフトウェア科学会第20回全国大会講演論文集, 2003

  日本ソフトウェア科学会第20回全国大会講演論文集, 2003 2003

詳細情報

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