位置:成果数据库 > 会议 > 会议详情页
A Proof-Carrying Code Approach to Certificate Auction Mechanisms
  • 所属机构名称:西交利物浦大学
  • 会议名称:The 10th International Symposium on Formal Aspects of Component Software,
  • 时间:2013.10.10
  • 成果类型:会议
  • 相关项目:增性学习的理论、算法及其应用
作者: sheng wei guan|
同会议论文项目
期刊论文 11 会议论文 15
同项目会议论文