Automata-based Abstraction Refinement for muHORS Model Checking
Automata-based Abstraction Refinement for muHORS Model Checking
复制标题
基于自动机的 muHORS 模型检查抽象细化
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Xin Li
中科院分区：
文献类型：
--
作者：
Hua Vy Le Thanh;Xin Li;Xin Li
登录
查看更多内容
DOI：
10.1109/lics.2009.29
发表时间：
2009-08
期刊：
2009 24th Annual IEEE Symposium on Logic In Computer Science
影响因子：
--
作者：
N. Kobayashi;C. Ong
通讯作者：
N. Kobayashi;C. Ong
具有交集类型的有限组合逻辑
DOI：
10.1007/978-3-642-21691-6_15
发表时间：
2011
期刊：
Forum of Mathematics, Sigma
影响因子：
--
作者：
J. Rehof;P. Urzyczyn
通讯作者：
P. Urzyczyn
自动机无限运行的简单类型 Lambda 术语的有限语义
影响因子：
0.6
作者：
Aehlig K
通讯作者：
Aehlig K
递归类型的子类型化
影响因子：
0.5
作者：
R. Amadio;L. Cardelli
通讯作者：
L. Cardelli