CCSK; Forward-reverse bisimilarity; Forward-reverse barbed congruence; Axiomatization;
机译:使用LIGO观察GW150914的弱等效原理的测试和GBM瞬态150914的FERMI观察
机译:使用GW150914的LIGO观测值和GBM瞬态150914的费米观测值测试弱当量原理
机译:基于观测等价的抽象有效地合成传感器欺骗攻击
机译:代理人文化遗产链接数据中的等价链接观察研究
机译:弯曲时空中量子系统的原子 - 干涉测量试验
机译:一项随机对照试验的脊医互动和治疗等效性:临床遭遇视频记录的观察性分析
机译:综合观察当量和弱综合观察当量