Centrum Wiskunde Informatica, Amsterdam, The Netherlands;
Delft University of Technology, Delft, The Netherlands;
Delft University of Technology, Delft, The Netherlands;
机译:程序模型检查中减少状态空间的条件
机译:程序模型检查中减少状态空间的条件
机译:模型检查代理程序编程语言
机译:模型检查代理程序的状态减少
机译:使用逻辑编程对分布式自治代理进行模型检查。
机译:基于高维输入/输出空间的同时降维的空间模型预测的替代模型
机译:节目模型检查的状态空间减少调理