文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Rance C Luettgen
发表
Model checking is refinement --- Relating Buechi testing and linear-time temporal logic ---
Rance C Luettgen, 2000 .