Department of Computer Science, University of York, York YO10 5DD, U.K;
Institut fur Informatik, Universitat Augsburg, D-86135 Augsburg, Germany;
机译:准备好并发仿真:这是合乎逻辑的!
机译:与逻辑设备的并发错误检测系统的双重误差有效检测的总和码
机译:基于BERGER的代码,在并发检查下检测组合设备中逻辑元素故障的条件
机译:并发准备模拟:它是逻辑!
机译:是否准备升学:通过英语同时入学计划衡量大学的准备情况。
机译:逻辑连接词调节对链接在一起的组件所引起的仿真的关注
机译:准备进行并发模拟:这是合乎逻辑的!