位置：成果数据库 > 期刊 > 期刊详情页
模糊有限自动机的最小化算法优化
  • ISSN号：1001-9081
  • 期刊名称：计算机应用
  • 时间：0
  • 页码：152-177
  • 语言：中文
  • 相关项目：基于概率时间自动机的概率时段演算的模型检验及应用研究
作者： 张婧|张苗苗|
同期刊论文项目
基于概率时间自动机的概率时段演算的模型检验及应用研究
期刊论文 2 会议论文 9
同项目期刊论文
Formal Specification and Analysis of Zeroconf using Uppaal
期刊信息
  • 《计算机应用》
  • 北大核心期刊（2011版）
  • 主管单位:四川省科学技术协会
  • 主办单位:四川省计算机学会中国科学院成都分院
  • 主编：张景中
  • 地址：成都市人民南路四段九号科分院计算所
  • 邮编：610041
  • 邮箱：xzh@joca.cn
  • 电话：028-85224283
  • 国际标准刊号：ISSN：1001-9081
  • 国内统一刊号：ISSN：51-1307/TP
  • 邮发代号:62-110
  • 获奖情况:
  • 全国优秀科技期刊一等奖,国家期刊奖提名奖,中国期刊方阵双奖期刊,中文核心期刊,中国科技核心期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:53679