Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献詳細

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

著者
磯部 祥尚 ローゲンバッハ マーカス
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.25, no.4, pp.85-92, 2008

言及状況

外部データベース (DOI)

Twitter (1 users, 1 posts, 0 favorites)

こんな論文どうですか？ CSP-Prover — スケーラブルな並行システムの検証のための証明器(磯部 祥尚ほか),2008 https://t.co/yMtlWVzarc

収集済み URL リスト