学霸图书馆
首页
下载客户端
登录
游客
会员中心
修改密码
VIP升级
退出登录
发现好书期刊,享受阅读乐趣
海量图书期刊资源,随时随地畅享阅读乐趣
全部
期刊
图书
搜索
Prototyping A&A ReSpecT in Maude
Matteo Casadei; Andrea Omicini; Mirko Viroli
作者
Matteo Casadei; Andrea Omicini; Mirko Viroli
卷
第194卷
期
第4期
印刷ISSN
1571-0661
文件大小
280.78KB
发表时间
2008
DOI
10.1016/j.entcs.2008.03.101
页码
93-109
← 返回【学霸图书馆】主页