摘要：基于粒度的接口框架以加快定时自动机(TA)模拟组件的分析
作者：Karine Altisen, Yanhong Liu, Matthieu Moy
论文ID：1004.2637
分类：Performance
分类简称：cs.PF
提交时间：2010-04-16
PDF 下载： 英文版 中文版pdf翻译中