蚁群智能模型检测算法

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

蚁群智能模型检测算法

吴湘宁1,胡成玉1,汪渊2

A Model Checking Algorithm Based on Ant Colony Swarm Intelligence

WU Xiangning1,HU Chengyu1,WANG Yuan2

J4 . 2010, (12): 76 -79 . DOI: 10.3969/j.issn.1007130X.2010.