未找到相关数据
Proving guarantee and recurrence temporal properties by abstract interpretation
被引：0
作者：
机构：
[1] [1,Miné, Antoine
来源：
|
1600年
/
Springer Verlag卷
/
8931期
关键词：
Model checking;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文