Kazuya Masuda | Osaka University

スポンサーリンク

概要

• 同名の論文著者
• Osaka Universityの論文著者

関連著者

• Kiyoharu Hamaguchi

  Osaka University

• Toshinobu Kashiwabara

  Osaka University

• Kazuya Masuda

  Osaka University

著作論文

• Approximate Model Checking Using a Subset of First-order Logic

スポンサーリンク