关键字搜索结果Keyword:difference bound matrix——匹配关键字搜索查询的新结果（每日更新）。 https://dl.acm.org/action/doSearch？type=advanced&af=R&KeywordRaw=差异+绑定+矩阵&内容=标准&扩展=全部&目标=默认&排序依据=相关性 计算机协会：关键字搜索查询 计算机协会 英语-美国 http://www.atypon.com/images/atypon_logo_small.gif http://www.atypon.com网站 https://dl.acm.org/doi/abs/10.5555/332995.3330033？af=R&KeywordRaw=差异+绑定+矩阵&内容=标准&扩展=全部&目标=默认&排序依据=相关性 LICS’17：第32届ACM/IEEE计算机科学逻辑研讨会论文集，第1-12页<br/> LICS’17：第32届ACM/IEEE计算机科学逻辑研讨会论文集，第1-12页<br/> doi:10.5555/33299995.3330033 2017-06-20T07:00:00Z 时间自动机中可达性的再研究 1 12 2017-06-20T07:00:00Z 10.5555/3329995.3330033 https://dl.acm.org/doi/abs/10.5555/332995.3330033？af=R&KeywordRaw=差异+绑定+矩阵&内容=标准&扩展=全部&目标=默认&排序依据=相关性 https://dl.acm.org/doi/abs/10.1109/RTSS.2010.36？af=R&KeywordRaw=差异+绑定+矩阵&内容=标准&扩展=全部&目标=默认&排序依据=相关性 RTSS’10：2010年第31届IEEE实时系统研讨会论文集，第360-371页<br/> RTSS’10：2010年第31届IEEE实时系统研讨会论文集，第360-371页<br/> doi:10.1109/RTSS.2010.36 2010年11月30日08时00分 基于约束矩阵图的全符号时间模型检验 360 371 2010年11月30日08:00:00Z 10.1109/RTSS.2010.36 https://dl.acm.org/doi/abs/10.1109/RTSS.2010.36？af=R&KeywordRaw=差异+绑定+矩阵&内容=标准&扩展=全部&目标=默认&排序依据=相关性 https://dl.acm.org/doi/abs/10.5555/1929463.1929471？af=R&KeywordRaw=差异+绑定+矩阵&内容=标准&扩展=全部&目标=默认&排序依据=相关性 IFM’10：第八届综合形式方法国际会议记录，第89-104页<br/> IFM’10：第八届综合形式方法国际会议记录，第89-104页<br/> doi:10.5555/1929463.1929471 2010年10月11日T07:00:00Z 乐观复制算法的符号模型选择 89 104 2010年10月11日T07:00:00Z 10.5555/1929463.1929471 https://dl.acm.org/doi/abs/10.5555/1929463.1929471？af=R&KeywordRaw=差异+绑定+矩阵&内容=标准&扩展=全部&目标=默认&排序依据=相关性