Higashino, T., et al: "Time-Action Alternating Model for Timed Processes and its Symbolic Verification of Bisimulation Equivalence" IEICE TRANS.FUNDAMENTALS. Vol. : E80-A. 400-406 (1997)
Higashino, T., et al: "Time-Action Alternating Model for Timed Processes and its Symbolic Verification of Bisimulation Equivalence" IEICE TRANS.FUNDAMENTALS. Vol. : E80-A. 400-406 (1997)
复制标题
Higashino, T. 等人：“定时过程的时间-动作交替模型及其双模拟等价的符号验证”IEICE TRANS.FUNDAMENTALS。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
