...
机译:涡流中的并行和分布式模型检查
School of Computing, University of Utah, Salt Lake City, UT, USA;
机译:在分布式和并行数据库中检查完整性测试的效率
机译:分布式动态学习的并行命题可满足性检查
机译:使用检查点重新启动的分布式推测并行化
机译:涡流中的并行和分布式模型检查
机译:分布式模型的合并和一致性检查。
机译:并行环境中的血管系统建模 - 分布式和共享内存方法
机译:涡流中的并行和分布式模型检查