AMIR PNUELI (1941-2009) OBITUARY

被引：0
|
作者：
Apt, Krzysztof R.
Zuck, Lenore D.
机构：
来源：
BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE | 2010年 / 100期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：9 / 10
页数：2
相关论文
共 50 条
12345