Parametric temporal logic for “model measuring”
- 期刊名称ACM Transactions on Computational Logic
- 作者Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron
- 卷第2卷
- 期第3期
- 印刷ISSN1529-3785
- 文件大小268.06KB
- 发表时间2001-7-1
- DOI10.1145/377978.377990
- 页码388-407
Bioinspired Structured SurfacesBhushan, Bharat · Langmuir · 2012
Supported Lipopolysaccharide BilayersKaufmann, Stefan; Ilg, Karin; Mashaghi, Alireza; Textor, Marcus; Priem, Bernard; Aebi, Markus; Reimhult, Erik · Langmuir · 2012
Reduced Protein Adsorption by OsmolytesEvers, Florian; Steitz, Roland; Tolan, Metin; Czeslik, Claus · Langmuir · 2011
Water harvest via dewingLee, Anna; Moon, Myoung-Woon; Lim, Hyuneui; Kim, Wan-Doo; Kim, Ho-Young · Langmuir · 2012
Trapping Silicon Surface-Based RadicalsWang, Dong; Buriak, Jillian M. · Langmuir · 2006
Contact Angle Hysteresis ExplainedGao, Lichao; McCarthy, Thomas J. · Langmuir · 2006
Recovery of Nanoparticles Made EasyMyakonkaya, Olesya; Guibert, Clément; Eastoe, Julian; Grillo, Isabelle · Langmuir · 2010
Surface chemistry of zirconia polymorphsHertl, William · Langmuir · 1989