...
机译:结构良好的过渡系统的规则可分性
regular separabilitywstscoverability languagesPetri nets;
机译:使用结构合理的过渡系统确定催化P体系的发散度
机译:使用结构合理的过渡系统确定催化P体系的发散度
机译:处理无限分支的结构良好的过渡系统
机译:结构良好的常规模型检查中的计算定点及其在有损通道系统中的应用
机译:为有效评估动态系统故障概率而量身定制的自举和可分离蒙特卡洛模拟方法
机译:免疫系统竞争的混合模型中的可分离跃迁密度
机译:结构合理的常规模型检查中的计算定点及其在有损通道系统中的应用。
机译:非谐振子系统从正则到不规则经典运动的转换及其相应量子系统的行为