Taniguchi Kenichi | Department of Hydrocarbon Chemistry, Kyoto University
スポンサーリンク
概要
関連著者
-
Taniguchi Kenichi
Department of Hydrocarbon Chemistry, Kyoto 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
-
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
-
Mitsudo Take-aki
Department Of Energy And Hydrocarbon Chemistry Graduate School Of Engineering Kyoto University
-
Taniguchi Kenichi
Department Of Information And Computer Sciences Faculty Of Engineering Science Osaka University
-
Watanabe Yoshihisa
Department Of Basic Geriatrics Graduate School Of Medical Science Kyoto Prefectural University Of Medicine
-
Takegami Yoshinobu
Department of Fuel Chemistry Faculty of Engineering Kyoto University
-
Suga Masataka
Department of Hydrocarbon Chemistry, Kyoto University
-
Mitsudo Take-aki
Department of Hydrocarbon Chemistry, Kyoto 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)
- The carbonylation of .ALPHA.-haloacetophenones and benzyl halides by disodium tetracarbonylferrate.