高级搜索
    删除搜索历史记录.
    我的图书馆

    Using automatable proof obligations for computer-based design checking

    作者： M Rangarajan , P Alexander , NB Au-Ghazaleh

    DOI:

    关键词:

    摘要:

    参考文章(0)
    来源期刊
    IEEE CWECBS None
    • 1999 年,
    • Volume: None, Issue: None,
    • Page: None
    相似文章 0
      学术资源搜索(ver.BATE)

      为学术研究人员、学生以及专业人士设计的在线资源检索工具。
      致力于为用户提供全球范围内高质量开放学术文献、研究报告、会议论文、期刊文章等学术资源的便捷访问.

      Copyright © 2023. KipHub all right reserved. 沪ICP备2023020492号-1
      联系方式Terms & ConditionsSecurity
      Copyright 2023 ©KipHub.