Efficient multiple-valued model-checking using lattice representations

• CHECHIK M.

収録刊行物

• Lect. Notes Comput. Sci.

  Lect. Notes Comput. Sci. 2154 441-455, 2001

詳細情報

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