[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || Code Generation Using a Formal Model of Reference Counting
- 作者Rayadurgam, Sanjai; Tkachuk, Oksana
- 文件大小615.44KB
- 发表时间2016
- DOI10.1007/978-3-319-40648-0_12
- 页码150-165
(−)-Kolavenic acidZukerman-Schpector, Julio; Sousa Madureira, Lucas; Messiano, Gisele B.; Lopes, Lucia M. X.; Tiekink, Edward R. T. · Acta Crystallographica Section E Structure Reports Online · 2008
Multi-Component Crystals (Synthesis, Concepts, Function) || PrefaceTiekink, Edward; Zukerman, Julio · 2017
Multi-Component Crystals (Synthesis, Concepts, Function) || IndexTiekink, Edward; Zukerman, Julio · 2017
What is a co-crystal?Zukerman-Schpector, Julio; Tiekink, Edward R. T. · Zeitschrift für Kristallographie · 2008
Multi-Component Crystals (Synthesis, Concepts, Function) || FrontmatterTiekink, Edward; Zukerman, Julio · 2017
Multi-Component Crystals (Synthesis, Concepts, Function) || ContentsTiekink, Edward; Zukerman, Julio · 2017
Gold⋯π aryl interactions as supramolecular synthonsTiekink, Edward R. T.; Zukerman-Schpector, Julio · CrystEngComm · 2009
2-Cyclohexyl-4-methyltetrahydropyran-4-olTiekink, Edward R. T.; Macedo, Alexandra; Wendler, Edison P.; Dos Santos, Alcindo A.; Zukerman-Schpector, Julio · Acta Crystallographica Section E Structure Reports Online · 2010