ADVANCES IN VERIFICATION TECHNOLOGY

被引：3
|
作者：
HAFEMEISTER, D
机构：
来源：
BULLETIN OF THE ATOMIC SCIENTISTS | 1985年 / 41卷 / 01期
关键词：
D O I：
10.1080/00963402.1985.11455893
中图分类号：
D81 [国际关系];
学科分类号：
030207 ;
摘要：
引用
收藏
页码：35 / 40
页数：6
相关论文