已收录 273594 条政策
 政策提纲
  • 暂无提纲
Proving Correctness of Asynchronos Circuits Using Temporal Logic
[摘要]
[发布日期]  [发布机构] UCLA Henry Samueli School of Engineering and Applied Science
[效力级别]  [学科分类] 计算机科学（综合）
[关键词]  [时效性] 
   浏览次数：11      统一登录查看全文      激活码登录查看全文