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

スポンサーリンク

概要

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

関連著者

• 磯部 祥尚

  産業技術総合研究所

• Roggenbach Markus

  産業技術総合研究所

• 磯部 祥尚

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

• Roggenbach Markus

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

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

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

著作論文

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

スポンサーリンク