文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Jesper Gulmann Henriksen
发表
Logics and Automata for Verification: Expressiveness and Decidability Issues
Jesper Gulmann Henriksen, J. Henriksen, 2000 .