机译:概率转移系统中行为距离的近似和计算
Probabilistic transition system; Behavioural pseudometric; Approximation; Coalgebra; Linear programming;
机译:概率转移系统中行为距离的近似和计算
机译:概率转移系统的行为伪度量
机译:计算概率自动机的概率间隔距离
机译:计算模糊过渡系统的行为距离
机译:近似计算 系统 的 可靠的计算 行为设计
机译:近似算法的计算空间距离直方图与精度的质量担保
机译:概率转移系统中行为距离的近似和计算
机译:计算科学:展开前缀中的行为保留转换插入技术报告。系列