文献一覧: ローゲンバッハマーカス (著者) - Ceek.jp Altmetrics

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

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

2019-03-17 06:15:15
1 + 0 Twitter

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

2019-03-17 05:30:14
1 + 0 Twitter

https://ci.nii.ac.jp/naid/110006990889