首页
|
帮助
|
阅读器下载
|
插件下载
|
登录
中国博士学位论文全文数据库
乐观公平交换协议形式化逻辑及其自动证明技术
【作者】
陈明
;
【导师】
徐洁;
吴中福;
【作者基本信息】
重庆大学
, 计算机科学与技术, 2011, 博士