Nitta Naoya | Nara Inst. Sci. And Technol. Ikoma‐shi Jpn
スポンサーリンク
概要
関連著者
-
Seki Hiroyuki
Nara Inst. Sci. And Technol. Ikoma‐shi Jpn
-
Nitta Naoya
Nara Inst. Sci. And Technol. Ikoma‐shi Jpn
-
SEKI Hiroyuki
Nara Institute of Science and Technology
-
Seki Hiroyuki
Graduate School Of Information Science Nara Institute Of Science And Technology
-
Takata Yoshiaki
Kochi Univ. Technol. Kami‐shi Jpn
-
Takata Yoshiaki
Graduate School Of Information Science Nara Institute Of Science And Technology
-
NITTA Naoya
Graduate School of Information Science, Nara Institute of Science and Technology
-
Nitta Naoya
Graduate School Of Information Science Nara Institute Of Science And Technology
-
KUNINOBU Shigeta
Graduate School of Information Science, Nara Institute of Science and Technology
-
Kuninobu Shigeta
Graduate School Of Information Science Nara Institute Of Science And Technology:(present Address)res
-
Nitta Naoya
Nara Institute of Science and Technology
著作論文
- Policy Controlled System and Its Model Checking
- Decidability of the Security Verification Problem for Programs with Stack Inspection
- LTL Model Checking for Extended Pushdown Systems with Regular Tree Valuations