Deriving Bisimulation Relations from Path Extension Based Equivalence Checkers

著录项

• 来源
  《IEEE Transactions on Software Engineering》 |2017年第10期|946-953|共8页
• 作者

  Kunal Banerjee; Dipankar Sarkar; Chittaranjan Mandal;

  展开▼
• 作者单位

  Intel Parallel Computing Lab, Bangalore, Karnataka, India;

  Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur, India;

  Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur, India;

  展开▼
• 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词

  Computational modeling; Inference algorithms; Processor scheduling; Computer science; Electronic mail; Optimization; Integrated circuit modeling;

  机译：计算建模;推理算法;处理器调度;计算机科学;电子邮件;优化;集成电路建模;