摘要：一种用于分布式线性混合自动机可达性分析的新型分布式算法d-IRA的设计
作者：Sumit Kumar Jha
论文ID：0710.3764
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-10-22
PDF 下载： 英文版 中文版pdf翻译中