Synthetic Organic Chemistry Methods 技术
algorithmgrowing领域: Physical Sciences
0
衍生技术
0
相关产品
0
相关事件
Synthetic Organic Chemistry Methods · 相关论文
Synthesis and Applications of RuCl<sub>2</sub>(CHR‘)(PR<sub>3</sub>)<sub>2</sub>: The Influence of the Alkylidene Moiety on Metathesis Activity
1996Journal of the American Chemical Society引用 2093
A Simple Method to Prepare Head-to-Tail Coupled, Regioregular Poly(3-alkylthiophenes) Using Grignard Metathesis
1999Advanced Materials引用 661
An automata-theoretic approach to branching-time model checking
2000Journal of the ACM引用 615
Compositional model checking
2003引用 470
Olefin metathesis - A novel reaction for skeletal transformations of unsaturated hydrocarbons
1967Tetrahedron Letters引用 258
ROMP Reactivity of <i>e</i><i>ndo</i>- and <i>e</i><i>xo</i>-Dicyclopentadiene
2002Macromolecules引用 257
Linear Encodings of Bounded LTL Model Checking
2006Logical Methods in Computer Science引用 224顶会
On the bisimulation proof method
1998Mathematical Structures in Computer Science引用 220