时间自动机可达性分析算法的改进

著录项

• 来源
  《计算机工程与科学》 |2007年第10期|44-46|共3页
• 作者

  张松年; 庄雷; 杜娟;

  展开▼
• 作者单位

  郑州大学信息工程学院;

  河南;

  郑州;

  450001;

  郑州大学信息工程学院;

  河南;

  郑州;

  450001;

  郑州大学信息工程学院;

  河南;

  郑州;

  450001;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 编译程序、解释程序;
• 关键词

  时间自动机; 可达性分析; 后继;