A survey of recent advances in SAT-based formal verification

• PRASAD M. R.

収録刊行物

• Journal on Software Tools for Technology Transfer

  Journal on Software Tools for Technology Transfer 7 (2), 156-173, 2005

詳細情報

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