Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic

• BULTAN T.

収録刊行物

• Computer Aided Verification, 9th International Conference (CAV'97)

  Computer Aided Verification, 9th International Conference (CAV'97) 1997

詳細情報

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