Predicate Abstraction of ANSI-C Programs Using SAT
- 作者Edmund Clarke; Daniel Kroening; Natasha Sharygina; Karen Yorav
- 卷第25卷
- 印刷ISSN0925-9856
- 电子ISSN1572-8102
- 文件大小215.19KB
- 发表时间2004-09
- DOI10.1023/b:form.0000040025.89719.f3
- 页码105-127
Chemical constituents from Alismatis Rhizoma and their anti-inflammatory activities in vitro and in vivoLiu, Shan-shan; Sheng, Wen-long; Li, Yun; Zhang, Shan-shan; Zhu, Jing-jing; Gao, Hui-min; Yan, Li-hua; Wang, Zhi-min; Gao, Lu; Zhang, Mei · Bioorganic Chemistry · 2019
Photoinduced Electron Transfer Process Visualized on Single Silver NanoparticlesLei, Gang; Gao, Peng Fei; Yang, Tong; Zhou, Jun; Zhang, Hong Zhi; Sun, Shan Shan; Gao, Ming Xuan; Huang, Cheng Zhi · ACS Nano · 2017
FSHR ablation induces depression-like behaviorsBi, Wen-kai; Shao, Shan-shan; Li, Zhi-wei; Ruan, Yong-wei; Luan, Si-si; Dong, Zhen-hua; Wang, Jing; Wu, Shan-shan; Guo, Tian; Ma, Shi-zhan; Gao, Ling; Zhao, Jia-jun; He, Zhao · Acta Pharmacologica Sinica · 2020
Synthesis and Polymerization Kinetics of Copolymer Styrene-Vinyltrimethoxysilane by Emulsifier-Free Emulsion PolymerizationZhao, Hong Chi; Gao, Ling Ling; Gao, Shan Shan; Shi, Jing · Advanced Materials Research · 2010
Multibeam holographic antenna for terahertz applicationsGao, Shan Shan; Qiao, Hui-Min; Li, Jia-Lin · Optik · 2018
Multilayer Network from Multivariate Time Series for Characterizing Nonlinear Flow BehaviorGao, Zhong-Ke; Zhang, Shan-Shan; Dang, Wei-Dong; Li, Shan; Cai, Qing · International Journal of Bifurcation and Chaos · 2017
High gain holographic antenna for terahertz applicationsGao, Shan Shan; Qiao, Hui Min; Li, Jia Lin · Optical Materials Express · 2018
Determination of naphthalene by competitive fluorescence immunoassayChun Zhou; Qiong-E Wang; Shan-Shan Gao; Hui-Sheng Zhuang · 2009
Maxwell Equations and Inertial TransformationsB. Buonaura · Foundations of Physics Letters · 2004
Labels for Non-Individuals?Adonai S. Sant'Anna* · Foundations of Physics Letters · 2005
The Topology of Branching UniversesGordon McCabe · Foundations of Physics Letters · 2005
Colored Flux Tube in Euclidean SpacetimeVladimir Dzhunushaliev · Foundations of Physics Letters · 2005
CorrigendaFoundations of Physics Letters · 2005
Canonical Ensemble with Temperature LimitationViorel Badescu; Peter T. Landsberg · Foundations of Physics Letters · 2005
Casimir Effect for Tachyonic FieldsMarcin Ostrowski · Foundations of Physics Letters · 2005
Cartesian and Lagrangian MomentumAlexander Afriat · Foundations of Physics Letters · 2005