Linear Encodings of Bounded LTL Model Checking

• BIERE A.

収録刊行物

• Logical Methods in Computer Science

  Logical Methods in Computer Science 2 (5), 1-64, 2006

詳細情報

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