文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Alexandre Duret-Lutz
发表
Contributions à l'approche automate pour la vérification de propriétés de systèmes concurrents
Alexandre Duret-Lutz, Alexandre Duret-Lutz, 2007 .