学霸图书馆
首页
下载客户端
登录
游客
会员中心
修改密码
VIP升级
退出登录
发现好书期刊,享受阅读乐趣
海量图书期刊资源,随时随地畅享阅读乐趣
全部
期刊
图书
搜索
Preface
Gopalakrishnan, Ganesh L.; Qadeer, Shaz
期刊名称
Formal Methods in System Design
作者
Gopalakrishnan, Ganesh L.; Qadeer, Shaz
卷
第41卷
期
第1期
印刷ISSN
0925-9856
电子ISSN
1572-8102
文件大小
98.07KB
发表时间
2012-08
DOI
10.1007/s10703-012-0148-2
页码
3-3
← 返回【学霸图书馆】主页