Communications networks; Control; Computer communications; Algorithms; Global; Graphs; Networks; Processing equipment; Reasoning; Reduction; Rings;
机译:无限状态过程动态网络推理的通用框架
机译:HOL中有限状态离散时间马尔可夫链的形式推理
机译:关于下推过程和有限状态过程之间的语义对等检查的复杂性
机译:关于具有许多相同有限状态过程的网络的推理
机译:有限混合模型的开发,以评估不同的多工具制造过程的适当性。
机译:临床推理中的推理过程:从认知心理学的角度
机译:关于具有许多相同有限状态过程的网络的推理