文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Jörg Wernerus
发表
Direct Model Checking of {PLC} Programs in {IL}
Stefan Kowalewski, Jörg Brauer, Bastian Schlich, 2009 .