机译:迈向统一的双仿真观点:一项比较研究
Bisimulation; Concurrency; Semantics; Event structures; Transition-systems; Event structures; Equivalences; Refinement; Logics; Nets;
机译:迈向统一的双仿真观点:一项比较研究
机译:速度双重仿真:统一方法
机译:模糊数排名方法:统一索引和比较评论
机译:可见的双刺激等价 - 时间逻辑验证的统一抽象
机译:分裂与统一政治:德国与韩国统一领导的比较研究
机译:基于统一模型的多因素维数减少方法鉴定与存活表型相关的基因 - 基因相互作用的比较研究
机译:迈向统一的双仿真观点:一项比较研究
机译:火星任务光学和射频通信系统的比较研究 - 第二部分。统一价值指标