Department of Computer Science, Brandenburg University of Technology Postbox 10 13 44, 03013 Cottbus, Germany;
rnDepartment of Computer Science, Brandenburg University of Technology Postbox 10 13 44, 03013 Cottbus, Germany;
机译:基于二元决策图的状态空间生成框架用于分布式显式模型检查
机译:通过有序二进制决策图进行模型检查,自动验证多主体系统
机译:使用分层集决策图和自动饱和来构建有效的模型检查器
机译:间隔决策图的CSL模型检查生物化网络
机译:高效的模型检查时序图。
机译:在生化网络分析中利用模型检查的现有建模工具概述
机译:用区间决策图检测生化网络的CsL模型