磯部 祥尚 | 産業技術総合研究所:マーカス・ローゲンバッハ,スウォンジー大学

スポンサーリンク

概要

• 同名の論文著者
• 産業技術総合研究所:マーカス・ローゲンバッハ,スウォンジー大学の論文著者

産業技術総合研究所:マーカス・ローゲンバッハ,スウォンジー大学 | 論文

• CSP-Prover : スケーラブルな並行システムの検証のための証明器(エージェント)

もっと見る

スポンサーリンク