Linear Encodings of Bounded LTL Model Checking论文
Logical Methods in Computer Science2006引用: 224
Dynamic partial-order reduction for model checking software论文
2005引用: 638
Packet classification using extended TCAMs论文
2004引用: 249
Compositional model checking论文
2003引用: 470
ROMP Reactivity of <i>e</i><i>ndo</i>- and <i>e</i><i>xo</i>-Dicyclopentadiene论文
Macromolecules2002引用: 257
An automata-theoretic approach to branching-time model checking论文
Journal of the ACM2000引用: 615
A Simple Method to Prepare Head-to-Tail Coupled, Regioregular Poly(3-alkylthiophenes) Using Grignard Metathesis论文
Advanced Materials1999引用: 661
On the bisimulation proof method论文
Mathematical Structures in Computer Science1998引用: 220
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论文
Journal of the American Chemical Society1996引用: 2.1K
Olefin metathesis - A novel reaction for skeletal transformations of unsaturated hydrocarbons论文
Tetrahedron Letters1967引用: 258
第 1-10 条，共 10 条
上一页下一页