...
机译:奇偶校验自动机的状态空间减少
automata??-automataparityminimizationstate space reductiondeterministicsimulation relations;
机译:公平仿真关系,奇偶校验游戏和Buchi自动机的状态空间缩减
机译:从不确定Büchi和Streett自动机到确定奇偶自动机
机译:基于量子点元胞自动机的可逆低功耗奇偶校验发生器和用于纳米通信的奇偶校验器设计
机译:Buechi自动机的公平仿真关系,奇偶游戏和状态空间缩减
机译:采用奇偶空间法的航天器姿态控制系统故障检测与隔离。
机译:蜂窝自动水坝边界条件和空间重组方面的变形过程中微观结构演化的建模
机译:Büchiautomata的公平模拟关系,奇偶校验游戏和状态空间缩减