Specifying and checking semantic atomicity for multithreaded programs
- 期刊名称ACM SIGPLAN Notices
- 作者Burnim, Jacob; Necula, George; Sen, Koushik
- 卷第47卷
- 期第4期
- 印刷ISSN0362-1340
- 文件大小664.63KB
- 发表时间2012-06-01
- DOI10.1145/2248487.1950377
Effects of cadmium on the photosynthetic activity in mature and young leaves of soybean plantsXue, Zhongcai; Gao, Huiyuan; Zhao, Shijie · Environmental Science and Pollution Research · 2014
The salt resistance of wild soybean (Glycine sojaSieb. et Zucc. ZYD 03262) under NaCl stress is mainly determined by Na+distribution in the plantXue, Zhongcai; Zhao, Shijie; Gao, Huiyuan; Sun, Shan · Acta Physiologiae Plantarum · 2014
Determination of Lead,Taravati, Sanaz; Askary Sary, Abolfazl; Javaheri Baboli, Mehran · Bulletin of Environmental Contamination and Toxicology · 2012
Remediation of Contaminated SitesPanagiotakis, I.; Dermatas, D. · Bulletin of Environmental Contamination and Toxicology · 2015
Editor’s NotePaterson, Gordon · Bulletin of Environmental Contamination and Toxicology · 2015
Celebrating 50 Years of Publication!Call, Daniel J.; Gorsuch, Joseph W. · Bulletin of Environmental Contamination and Toxicology · 2016
Estrogen as an Environmental PollutantShore, L. S.; Shemesh, M. · Bulletin of Environmental Contamination and Toxicology · 2016
A Downstream Voyage with MercuryHeinz, Gary H. · Bulletin of Environmental Contamination and Toxicology · 2016
Editor’s NoteSchmitt, Christopher J. · Bulletin of Environmental Contamination and Toxicology · 2017
2018: Celebrating Volume 100Call, Daniel J.; Gorsuch, Joseph W. · Bulletin of Environmental Contamination and Toxicology · 2018