...
机译:使用双模拟检查NFA等价性直到同余
Language Equivalence; Automata; Bisimulation; Coinduction; Up-to techniques; Congruence; Antichains;
机译:使用双模拟检查NFA等价性直到同余
机译:从基于路径扩展的等效性检查器得出双仿真关系
机译:从基于路径的等效性检查器得出双仿真关系
机译:使用双模拟检查NFA等价性直到同余
机译:用于双仿真或仿真等效的离散事件系统的监督控制。
机译:一种新的基于等效性的度量标准用于进行预测性检查以验证混合效应模型
机译:检查nfa等价与bisimulations一致
机译:有限状态行为的分支互模拟同余的完全公理化