机译 用于评估异构测试假设集的逻辑
机译 测试呈现随机时间和超时的有限状态机
机译 线性时间分支时间谱的双模拟
机译 保留软一致性关系的上下文
机译 过程语义学的通用同源特征
机译 逆变模拟的逻辑
机译 计算标准动态几何环境的轨迹方程
机译 潮汐泊松项在非刚性地球上升理论中的贡献
机译 定义所有进程语义的距离
机译 BCCsp上弱完全模拟语义的等价理论
机译 分布式系统的新的互模拟语义
机译 关于过程语义的统一:观察语义学
机译 关于半线性抛物问题爆发的一些结果
机译 合理的单一投影投影曲线的分类,其奇点有一个puiseux对\ ud
机译 名字创建vs. petri网系统中的复制
机译 复制的环境petri网
机译 具有名称创建的petri网的前向分析
机译 时间弧petri网性质的可判定性
机译 最小程度品种的三重规范封面。\ u
机译 对呈现软期限和硬期限的系统进行正式测试