TANIGUCHI Kenichi | Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
スポンサーリンク
概要
- TANIGUCHI Kenichiの詳細を見る
- 同名の論文著者
- Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka Universityの論文著者
関連著者
-
Higashino Teruo
Department Of Informatics And Mathematical Science Osaka University
-
TANIGUCHI Kenichi
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
-
Taniguchi Kenichi
Department Of Informatics And Mathematical Science Osaka University
-
Taniguchi Kenichi
Department of Hydrocarbon Chemistry, Kyoto University
-
Nakata Akio
Department of Internal Medicine, Toyama Prefectural Central Hospital
-
Yasumoto Keiichi
Faculty Of Economics Shiga University
-
Higashino Teruo
The Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka
-
Higashino Teruo
Department Of Information And Computer Sciences Faculty Of Engineering Science Osaka University
-
Nakata Akio
Department Of Information And Computer Sciences Faculty Of Engineering Science Osaka University
-
Kitajima Akira
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
-
Taniguchi Kenichi
Department Of Information And Computer Sciences Faculty Of Engineering Science Osaka University
著作論文
- Time-Action Alternating Model for Timed Processes and Its Symbolic Verification of Bisimulation
- Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS (Special Section on Selected Papers from the 11th Workshop on Circuits and Systems in Karuizawa)