結縁祥治: "テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ" 電子情報通信学会 技術報告 コンピュテーション. COMP97-89. 17-24 (1998)
結縁祥治: "テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ" 電子情報通信学会 技術報告 コンピュテーション. COMP97-89. 17-24 (1998)
复制标题
Shoji Yuen：“使用基于测试等效性的可视化 LTS 模型操作来处理代数调试器”IEICE COMP97-89 计算技术报告。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
