登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Büchi自动机状态空间的化简
出版年：2007
作者：易锦
资源类型：图书
细分类型：学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Buchi自动机状态空间的化简
  • 作者：易锦
  • 出版社：中国科学院
  • 出版年：2007
...

有限状态自动机与硬加密
  • 作者：李冼
  • 出版年：1994
...

路口瓶颈处交通状态的相图及元胞自动机模型研究
  • 作者：李启朗
  • 出版年：2012
...

时间Büchi自动机LTL性质的多核模型检测工具的实现与改进
  • 作者：赵威
  • 出版年：2018
...

线性自动机
  • 作者：管纪文
  • 出版社：科学出版社
  • 出版年：1984
...

自动机研究
  • 作者：申南
  • 出版社：科学出版社
  • 出版年：1963