Hiroyuki Seki, Naoya Nitta, Yoshiaki Takata, Shigeta Kuninobu: "Infinite State Model Checking and Its Application to Software Verification"第2回クリティカルソフトウェアワークショップ予稿集. 20-22 (2003)
Hiroyuki Seki, Naoya Nitta, Yoshiaki Takata, Shigeta Kuninobu: "Infinite State Model Checking and Its Application to Software Verification"第2回クリティカルソフトウェアワークショップ予稿集. 20-22 (2003)
复制标题
Hiroyuki Seki、Naoya Nitta、Yoshiaki Takata、Shigeta Kuninobu：“无限状态模型检查及其在软件验证中的应用”第二届关键软件研讨会论文集 20-22 (2003)。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
