未找到相关数据
THE TOTAL CORRECTNESS OF PARALLEL PROGRAMS
被引：11
作者：
FLON, L
SUZUKI, N
机构：
关键词：
D O I：
10.1137/0210016
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：227 / 246
页数：20
相关论文