...
机译:基于差异逻辑的时间小报的逻辑表达式表示,旨在加快边界模型检查
机译:基于差异逻辑的时间小报的逻辑表达式表示,旨在加快边界模型检查
机译:基于差异逻辑的差异逻辑的时间Petri网逻辑表达式表示
机译:基于差异逻辑的差异逻辑的时间Petri网逻辑表达式表示
机译:基于领域理论的软活性物质建模基本研究,该领域已扩展到芬斯勒空间
机译:固体氦核磁弛豫时间的研究:基于现象学模型,查看T_1和T_2的利用统计
机译:多元智能理论对生命研究的学习研究-基于多元智能理论的课程和实践模型的验证-