auxiliary state machines; temporal logic;
机译:AMS断言的上下文相关监视的辅助规范
机译:使用辅助修整光束延长光纤
机译:三种CO(II)配位配位使用2,2'-氧基脲(苯甲酸)和助剂N-供体配体构建:合成,结构,磁性行为和密度泛函理论研究
机译:辅助状态机和辅助功能:用于扩展AMS断言的构造
机译:辅助多项式和高度函数。
机译:计算显式溶剂中的构象自由能差:使用辅助势和从端点构造的自由能函数的有效热力学循环
机译:来自辅助场云蒙特卡罗没有分析延续的谱函数:扩展的Koopmans的定理方法
机译:用于构建mOZU-BEsm II的辅助设备设备。