Okada Mitsuo | Department of Hydrocarbon Chemistry, Kyoto University
スポンサーリンク
概要
Department of Hydrocarbon Chemistry, Kyoto University | 論文
- The synthesis of 2,5-dialkylcyclopentanones from aliphatic aldehydes and formaldehyde.
- On the Long-range Interactions between Two Hydrogen Atoms and Two Helium Atoms
- Liquid-phase Oxidation Catalyzed by Cu(II)–Cl System, I. Oxidation of Cyclohexene
- 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)