机译:使用概率论逻辑规范验证并发概率论系统
机译:并发概率系统在组合推理中利用加权自动机
机译:CSIM〜2:使用依赖保证的并发系统的组成自验证
机译:概率并发过程组成验证的证明系统
机译:用于验证并发数据结构的组成抽象
机译:eBASIS(食品信息系统中的生物活性物质)和生物活性摄入量:生物活性化合物组成和有益生物效应数据库的重大更新以及开发评估欧洲摄入量的概率模型
机译:概率并发过程组合验证的证明系统
机译:寻求组合性:对基于断言的并发程序证明系统的调查。第1部分。基于共享变量的并发性