時相論理によるプログラム生成は実用的か?(並行計算の理論とその応用)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 河野 真治

  Sony Computer Science Laboratory Inc.

関連論文

• 時相論理によるプログラム生成は実用的か?(並行計算の理論とその応用)

スポンサーリンク