林 友和 | 島根大学総合理工学部数理 : 情報システム学科計算機科学講座

スポンサーリンク

概要

• 林 友和の詳細を見る
• 同名の論文著者
• 島根大学総合理工学部数理 : 情報システム学科計算機科学講座の論文著者

関連著者

• 林 友和

  島根大学総合理工学部数理 : 情報システム学科計算機科学講座

• 山根 智

  島根大学総合理工学部数理

著作論文

• CTL論理式と時間オートマトンに関する実時間記号モデル検査方式の提案

スポンサーリンク