Okamoto Keishi | Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST)

スポンサーリンク

概要

• 同名の論文著者
• Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST)の論文著者

関連著者

• Okamoto Keishi

  Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST)

著作論文

• Formal Verification in a First-Order Extension of Modal μ-calculus

スポンサーリンク