...
机译:代数mu-微积分的基于游戏的局部模型检查
Model checkingmu-calculuscoalgebraic logicgraded mu-calculusprobabilistic mu-calculusparity games;
机译:组成性和局部性,以改进选择性微积分中的模型检查
机译:选择性mu-演算中的启发式搜索+局部模型检查
机译:模态Mu-微积分碎片的模型检查递归方案的复杂性
机译:局部模型检查在非循环标记过渡系统上的模态MU - 微积分
机译:摩尔机的凝聚代数自动机和典范模型。
机译:模型检查中局部概括的全球指导
机译:基于MU-微积分的局部模型检查算法,部分订单
机译:μ-Calculus的模型检验算法