鈴木 晃: "SCCS動作式に対するunfold変換によるLTSモデルの効率的構成法" 信学技報. COMP96-47. 93-100 (1997)
鈴木 晃: "SCCS動作式に対するunfold変換によるLTSモデルの効率的構成法" 信学技報. COMP96-47. 93-100 (1997)
复制标题
Akira Suzuki:“使用 SCCS 运动方程展开变换的 LTS 模型的高效构建方法”IEICE 技术报告 93-100 (1997)。
DOI:
--
复制
发表时间:
--
期刊:
影响因子:
--
通讯作者:
中科院分区:
文献类型:
--
作者: