CSP-Prover — スケーラブルな並行システムの検証のための証明器

• 磯部 祥尚

  産業技術総合研究所

• ローゲンバッハ マーカス

  スウォンジー大学

書誌事項

タイトル別名

• CSP-Prover-a Proof Tool for the Verification of Scalable Concurrent Systems

収録刊行物

• コンピュータ ソフトウェア

  コンピュータ ソフトウェア 25 (4), 85-92, 2008

  日本ソフトウェア科学会

詳細情報

• CRID: 1390001204736878720
• NII論文ID: 110006990889
• NII論文ID: 130004549123
• NII書誌ID: AN10075819
• DOI: 10.11309/jssst.25.4_85
• NDL書誌ID: 9701122
• ISSN: 02896540
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I9701122
• 本文言語コード: en
• データソース種別:
  • JaLC
  • NDL
  • CiNii Articles
  • KAKEN