特色过渡系统：验证变量密集型系统的基础及其在LTL模型检查中的应用| IEEE期刊和杂志| IEEE Xplore

IEEE帐户

采购详细信息

个人资料信息

需要帮助吗？

  • 美国和加拿大：+1 800 678 4333
  • 全球范围：+1 732 981 0060
  • 联系和支持

IEEE是一个非营利组织，是世界上最大的技术专业组织，致力于为人类的利益推动技术进步。
©2024 IEEE版权所有-保留所有权利。使用本网站表示您同意这些条款和条件。