Kikuno Tohru | Osaka University
スポンサーリンク
概要
関連著者
-
Kikuno Tohru
Osaka Univ. Osaka
-
Kikuno Tohru
Osaka University
-
Tsuchiya Tatsuhiro
Osaka Univ. Suita‐shi Jpn
-
TSUCHIYA Tatsuhiro
Osaka University
-
Choi Eun-hye
National Institute Of Advanced Industrial Science And Technology
-
Kikuno Tohru
Osaka Univ. Suita‐shi Jpn
-
KIMOTO Masahiro
Osaka University
-
NANBA Toru
Osaka University
著作論文
- On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm
- Model Checking Active Database Rules under Various Rule Processing Strategies
- Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints