Eindhoven University of Technology, Department of Mathematics and Computer Science, P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands;
机译:使用下一次运算符检查LTL公式的部分订单减少
机译:使用部分顺序和融合减少对MDP进行合理的统计模型检查
机译:减少部分订单以检查时间工作流网络的健全性
机译:通过部分顺序减少检查保密
机译:通过电压缩放和轻量级检查来降低能耗。
机译:药物检查作为休闲竞赛伤害的策略:两种不同药物分析方法的评估
机译:通过部分降阶检查保密性