Tohoku University;
机译:上下通信中的不确定“我们”(Het“ WIJ” -GEVOEL / LE“ NOUS” INDEFINI)-发送方和接收方引用:基于文本类型的方法
机译:检查基于参数的系统的死锁 - 自由
机译:用于网络上的高性能容错路由的高性能容错路由的动态充分条件
机译:基于类型的死锁 - 非块结构锁基元和可变引用的自由验证
机译:直接验证螺纹紧固件中液体锁定化合物的锁定。
机译:核查克罗地亚儿童和青少年儿科参考间隔(CALIPER)参考价值的加拿大实验室倡议
机译:基于类型的死锁自由验证非块结构锁原始和可变参考