SPIN模型检查器的多核扩展设计| IEEE期刊和杂志| IEEE Xplore

IEEE帐户

采购详细信息

个人资料信息

需要帮助吗？

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

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