网 站
首 页
瞭望台
国内动态
广东动态
地方动态
政策规划
项目计划
成果转化
智库观察
战略动向
技术创新
新材料
新能源
装备制造
电子信息
生物医药
科技专利
生医文献
海洋文献
环境文献
材料文献
电子文献
光电文献
产业集群决策
1
生物技术资源文献
2
电子信息资源文献
3
环境科学文献资源
4
海洋科学技术文献
5
新材料数据库文献
6
光机电技术资源文献
Abstraction for model checking multi-agent systems
无
关键词：多代理系统 模型检测 抽象 检查 时空属性 状态空间 自动计算 大肠杆菌
主要内容：
《中国计算机科学前沿：英文版》 2011,5(1).-14-25
全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp
仿站
