机译:正式合成的过氢gephyrotoxin
机译:正式合成的过氢gephyrotoxin
机译:通过将亚甲基取代的亚砜加到亚磺胺中来合成β-氨基取代的烯酮:在生物碱(+)-Lasubine II和(+)-241D的总合成以及(-)-Lasubine I的形式总合成中的应用
机译:α,β-不饱和重氮酮作为平台不对称合成羟基化生物碱。 1-Deoxy-8,8a-dipicastanospermine和1,6-Dideoxyepicastanospermine的全合成和Pumiliotoxin 251D的正式合成
机译:用于将VHDL描述转换为正式模型的工具及其在正式验证和综合的应用
机译:正式和半正式验证在软件测试,高级综合和能源互联网中的应用
机译:nam啶A1 / A2的结构重新分配和合成(+)-NP25302的合成以及SB-311009类似物的形式合成
机译:二苯并环庚烷合成中的分子内尼古拉斯反应。 NSC 51046及其同系物的合成及(-)-Alocolchicine的形式合成