Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献一覧: Markus Roggenbach (著者)
  3. 1件

1 0 0 0 IR CSP-Prover : スケーラブルな並行システムの検証のための証明器(<特集>エージェント)

著者
磯部 祥尚 ローゲンバッハ マーカス Markus Roggenbach 産業技術総合研究所:マーカス・ローゲンバッハ スウォンジー大学 産業技術総合研究所:マーカス・ローゲンバッハ スウォンジー大学 National Institute of Advanced Industrial Science and Technology:Swansea University National Institute of Advanced Industrial Science and Technology:Swansea University
出版者
日本ソフトウェア科学会
雑誌
コンピュータソフトウェア = Computer software (ISSN:02896540)
巻号頁・発行日
vol.25, no.4, pp.85-92, 2008-10-28
参考文献数
17