Hagiya Masami | Department Of Computer Science Graduate School Of Information Science And Technology The University
スポンサーリンク
概要
- 同名の論文著者
- Department Of Computer Science Graduate School Of Information Science And Technology The University の論文著者
関連著者
-
Hagiya Masami
Department Of Computer Science Graduate School Of Information Science And Technology The University
-
Frederiksen Carl
Department Of Computer Science Graduate School Of Information Science And Technology The University
-
FREDERIKSEN CARL
Department of Computer Science, Graduate School of Information Science and Technology, the Universit
-
Hagiya Masami
Department of Computer Science, Graduate School of Information Science and Technology, the University of Tokyo
著作論文
- Sub-Computation Based Transition Predicate Abstraction
- Sub-Computation Based Transition Predicate Abstraction
- Sub-Computation Based Transition Predicate Abstraction