@第{zbMATH06087615条，作者＝{Cabodi，Gianpiero和Nocco，Sergio和Quer，Stefano}，Title={对模型检查器进行基准测试以改进算法并调整性能}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={39}，数字={2}，页码={205--227}，年份={2011}，语言={英语}，DOI={10.1007/s10703-011-0123-3}，关键词={68Q60}，zbMATH={6087615}，Zbl={1247.68160}}